5186 search results - page 741 / 1038 » Embedded Systems |
162
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
164
click to vote
IJCAI
2001
15 years 8 months ago
2001
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
341
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
199
click to vote
SENSYS
2005
ACM
16 years 4 days ago
2005
ACM
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...
174
click to vote
FPL
2007
Springer
16 years 23 days ago
2007
Springer
The complexity of today’s embedded applications requires modern high-performance embedded System-on-Chip (SoC) platforms to be multiprocessor architectures. Advances in FPGA tec...