2251 search results - page 83 / 451 » Specification and Implementation Problems for C |
109
Voted
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
121
click to vote
SIGCSE
2010
ACM
15 years 10 months ago
2010
ACM
Using effective teaching practices is a high priority for educators. One important pedagogical skill for computer science instructors is asking effective questions. This paper pre...
156
click to vote
MOC
2010
14 years 10 months ago
2010
We study H(div) preconditioning for the saddle-point systems that arise in a stochastic Galerkin mixed formulation of the steady-state diffusion problem with random data. The key i...
120
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Ibis is an open source software framework that drastically simplifies the process of programming and deploying large-scale parallel and distributed grid applications. Ibis suppor...
129
Voted
TCS
2008
15 years 3 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...