9210 search results - page 102 / 1842 » Analyzing Real-Time Systems |
EVOW
2003
Springer
14 years 2 months ago
2003
Springer
This paper discusses the motivation, design and construction of a generative music system, 'MusicBlox', (by the author) that utilises a domain specific, knowledge rich Ge...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
ICRA
2002
IEEE
14 years 2 months ago
2002
IEEE
A real-time visual processing system using a generalpurpose vision chip, an image sensor in which photo detectors and processing elements are integrated, is described. In order to...
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
Power efficient design of real-time embedded systems based on programmable processors becomes more important as system functionality is increasingly realized through software. Th...
IPPS
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...