2043 search results - page 270 / 409 » A convenient category of domains |
152
click to vote
PLPV
2010
ACM
15 years 8 months ago
2010
ACM
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic conse...
204
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...
163
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Constraint satisfaction problems (CSPs) are ubiquitous in many real-world contexts. However, modeling a problem as a CSP can be very challenging, usually requiring considerable ex...
153
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we present a design space exploration flow to achieve energy efficiency for streaming applications on MPSoCs while meeting the specified throughput constraints. The ...
164
click to vote
IE
2007
15 years 8 months ago
2007
Unmanned vehicles (UV’s) are increasingly being employed in civil and military domains often for operations in dangerous environments. Typically these vehicles require some leve...