1342 search results - page 75 / 269 » Ordered Programs as Abductive Systems |
CODES
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a system-level technique to analyze the impact of design optimizations on system-level timing dependencies. This technique enables us to speed up the design cycle by su...
RTSS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
3DPVT
2006
IEEE
14 years 3 months ago
2006
IEEE
We present a stereo algorithm that achieves high quality results while maintaining real-time performance. The key idea is simple: we introduce an adaptive aggregation step in a dy...
AIME
2003
Springer
14 years 2 months ago
2003
Springer
Ambulatory care supporting long-term treatment of type I diabetes mellitus (DM) is based on the analysis of daily notes of serum glucose measurements, carbohydrate intake, and insu...
FMOODS
2003
13 years 11 months ago
2003
Abstract. The component-based model of code execution imposes some requirements on the software components themselves, and at the same time lays some constraints on the modern run-...