11022 search results - page 444 / 2205 » Programming Systems for Autonomy |
187
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
215
click to vote
TGC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
227
click to vote
IEEECIT
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper argues about the partitioning in hardware/software co-design and suggests the methodology applying extreme programming to complement the co-design. This approach, contr...
207
click to vote
GECCO
2005
Springer
16 years 1 months ago
2005
Springer
In the field of medicine it is of vital importance to accurately predict the presence of a disease (diagnostic prediction) or the future occurrence of a certain event (prognostic...
191
Voted
LCPC
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...