1521 search results - page 14 / 305 » On Sampled Semantics of Timed Systems |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
CVPR
2010
IEEE
14 years 22 days ago
2010
IEEE
Conventional low frame rate cameras result in blur and/or aliasing in images while capturing fast dynamic events. Multiple low speed cameras have been used previously with stagger...
IPPS
1999
IEEE
13 years 11 months ago
1999
IEEE
In this paper,a we present sample performance figures for a new linear algebra-based compilation framework implemented in a research HPF compiler called PARADIGM. The metrics cons...
SEMWEB
2004
Springer
14 years 23 days ago
2004
Springer
SemanticOrganizer is a collaborative knowledge management system designed to support distributed NASA projects, including multidisciplinary teams of scientists, engineers, and acci...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...