312 search results - page 39 / 63 » Restricting and Embedding Imperatives |
CAV
2010
Springer
15 years 1 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...
WISES
2003
14 years 11 months ago
2003
— With the increasing number of embedded computer systems being used in safety critical applications the testing and assessment of a system’s fault tolerance properties become ...
DM
2006
14 years 9 months ago
2006
Any given graph can be embedded in a chordal graph by adding edges, and the resulting chordal graph is called a triangulation of the input graph. In this paper we study minimal tr...
KES
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We have been developing a system AirTransNote, a computermediated learning system that employs digital pen to realize papercentric augmented classroom. Although the appro...
PERCOM
2006
ACM
14 years 9 months ago
2006
ACM
Sensor network operating systems have to operate with limited hardware resources. Constraints on power consumption greatly reduce the resources available to such an operating syst...