3565 search results - page 257 / 713 » Modeling a system controller for timing analysis |
122
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents the incorporation of an auto-tuning real-time garbage collector into a feedback-based on-line scheduling system. The studied feedback scheduler is designed to ...
134
click to vote
ENTCS
2006
15 years 4 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
118
Voted
TSE
2008
15 years 4 months ago
2008
The Unified Modeling Language (UML) is the de facto standard for object-oriented software analysis and design modeling. However, few empirical studies exist which investigate the c...
139
click to vote
RAS
2007
15 years 3 months ago
2007
We coordinate in discrete time the interaction of two heterogeneous groups of mobile agents: a group of ground vehicles (ugvs) and a group of aerial vehicles (uavs). The ground ag...
128
click to vote
PDP
2005
IEEE
15 years 9 months ago
2005
IEEE
Studying any aspect of an application server with high availability requirements can become a tedious task when a continuous monitoring of the server status is necessary. The crea...