1304 search results - page 98 / 261 » Model Checking C Programs Using F-SOFT |
124
click to vote
FCCM
2000
IEEE
15 years 7 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...
153
click to vote
ICFP
2012
ACM
13 years 5 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
127
click to vote
IJCAI
2001
15 years 4 months ago
2001
Deductive, mode-estimation has become an essential component of robotic space systems, like NASA's deep space probes. Future robots will serve as components of large robotic ...
237
click to vote
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...
109
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...