1837 search results - page 38 / 368 » Abstraction and the C Machine Model |
PPOPP
2009
ACM
16 years 11 days ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
TODAES
1998
14 years 11 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
AIME
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...
ECML
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We propose a simple and efficient approach to building undirected probabilistic classification models (Markov networks) that extend na
110
click to vote
JAR
2006
14 years 11 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...