3444 search results - page 589 / 689 » A Theory of Object-Oriented Design |
171
click to vote
EMSOFT
2007
Springer
16 years 11 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
181
click to vote
IPSN
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we present a wireless sensor platform designed for processing multipoint human motion with low latency and high resolution. One application considered here is inter...
176
click to vote
ASPLOS
2006
ACM
16 years 5 days ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
163
click to vote
CASES
2006
ACM
16 years 5 days ago
2006
ACM
The architectural design of embedded systems is becoming increasingly idiosyncratic to meet varying constraints regarding energy consumption, code size, and execution time. Tradit...
155
click to vote
MOBICOM
2006
ACM
16 years 4 days ago
2006
ACM
This paper considers the interaction between channel assignment and distributed scheduling in multi-channel multiradio Wireless Mesh Networks (WMNs). Recently, a number of distrib...