7892 search results - page 64 / 1579 » Programming with Models |
106
click to vote
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper explores a way to apply model checking techniques to parallel programs that use the nonblocking primitives of the Message Passing Interface (MPI). The method h...
131
click to vote
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
123
click to vote
GECCO
2005
Springer
15 years 6 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...
102
Voted
SPIN
2007
Springer
15 years 7 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
180
click to vote
PADL
2011
Springer
14 years 4 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...