6931 search results - page 1254 / 1387 » Context and Design Agents |
EMSOFT
2007
Springer
15 years 5 months 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...
108
click to vote
IPSN
2007
Springer
15 years 4 months 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...
AICCSA
2006
IEEE
15 years 4 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
SPAA
2006
ACM
15 years 4 months ago
2006
ACM
In response to current technology scaling trends, architects are developing a new style of processor, known as spatial computers. A spatial computer is composed of hundreds or eve...
VEE
2006
ACM
15 years 4 months ago
2006
ACM
The progress towards programming methodologies that simplify the work of the programmer involves automating, whenever possible, activities that are secondary to the main task of d...