3387 search results - page 95 / 678 » Model-Checking for Real-Time Systems |
168
click to vote
ADAEUROPE
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
219
click to vote
IPPS
2003
IEEE
16 years 21 days ago
2003
IEEE
Real-time systems usually operate in an environment that changes continuously. These changes cause the performance of the system to vary during run time. An allocation of resource...
156
click to vote
EVOW
2003
Springer
16 years 19 days 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...
227
Voted
ICRA
2002
IEEE
16 years 11 days 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...
177
click to vote
ICCAD
2000
IEEE
15 years 12 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...