215 search results - page 12 / 43 » State-Transition Computation Models and Program Correctness ... |
BIRTHDAY
2006
Springer
15 years 3 months ago
2006
Springer
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
117
Voted
SCCC
2005
IEEE
15 years 5 months ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
118
click to vote
EC
1998
14 years 11 months ago
1998
L. M. Adleman launched the field of DNA computing with a demonstration in 1994 that strands of DNA could be used to solve the Hamiltonian path problem for a simple graph. He also...
86
Voted
FIDJI
2004
Springer
15 years 3 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
110
Voted
IEEEPACT
2007
IEEE
15 years 6 months ago
2007
IEEE
The use of multi-core, multi-processor machines is opening new opportunities for software speculation, where program code is speculatively executed to improve performance at the a...