6308 search results - page 98 / 1262 » Modeling Urgency in Timed Systems |
109
click to vote
DSRT
2008
IEEE
14 years 11 months ago
2008
IEEE
In this contribution a new system for the rapid development of real-time prototypes for digital audio signal processing algorithms on Windows PCs and a Digital Signal Processor (D...
142
click to vote
COOPIS
2004
IEEE
15 years 1 months ago
2004
IEEE
Large scale distributed real time and embedded (DRE) applications are complex entities that are often composed of different subsystems and have stringent Quality of Service (QoS) r...
SSIRI
2010
14 years 8 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...
111
click to vote
WSC
2007
15 years 7 days ago
2007
Adaptive Time Warp protocols in the literature are usually based on a pre-defined analytic model of the system, expressed as a closed form function that maps system state to cont...
FMCAD
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...