Sciweavers

7557 search results - page 608 / 1512
» Modeling Timed Concurrent Systems
Sort
View
ISCA
1997
IEEE
90views Hardware» more  ISCA 1997»
15 years 11 months ago
The Interaction of Software Prefetching with ILP Processors in Shared-Memory Systems
Current microprocessors aggressively exploit instructionlevel parallelism (ILP) through techniques such as multiple issue, dynamic scheduling, and non-blocking reads. Recent work ...
Parthasarathy Ranganathan, Vijay S. Pai, Hazim Abd...
RTSS
1992
IEEE
15 years 11 months ago
Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems
This paper addresses the problem of allocating (assigning and scheduling) periodic task modules to processing nodes in distributed real-time systems subject to task precedence and ...
Chao-Ju Hou, Kang G. Shin
POPL
2009
ACM
16 years 7 months ago
Feedback-directed barrier optimization in a strongly isolated STM
Speed improvements in today's processors have largely been delivered in the form of multiple cores, increasing the importance of ions that ease parallel programming. Software...
Nathan Grasso Bronson, Christos Kozyrakis, Kunle O...
AGENTS
1998
Springer
15 years 11 months ago
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
The New Millennium Remote Agent NMRA will be the rst AI system to control an actual spacecraft. The spacecraft domain places a strong premium on autonomy and requires dynamic reco...
Barney Pell, Edward B. Gamble, Erann Gat, Ron Kees...
WSC
2001
15 years 8 months ago
Simulation of a night taxi-bus service for the historical center of Rome
The Municipality of Rome plans to introduce a taxi-bus system as a night service. A micro-simulation model was developed to estimate the needed information. Two major topics regar...
Thomas Schulze, Marco Lemessi, Francesco Filippi