1678 search results - page 130 / 336 » An ASM Specification of C |
167
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
The concept of system-on-a-chip is becoming increasingly popular for the integration of complex systems. New types of processor cores are now available that enable the designer to...
122
click to vote
ICMCS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, a system for automatic albuming of consumer photographs is described, and its specific core components of event segmentation and screening of low quality images are...
129
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
175
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Resource management for dynamic, distributed real-time systems requires handling of unknown arrival rates for data and events; additional desiderata include: accommodation of heter...
143
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...