Sciweavers

2555 search results - page 406 / 511
» Quantifiers and Working Memory
Sort
View
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 8 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
130
Voted
ICRA
2002
IEEE
111views Robotics» more  ICRA 2002»
15 years 8 months ago
Mission Planning for the Sun-Synchronous Navigation Field Experiment
This paper describes TEMPEST, a planner that enables a solar-powered rover to reason about path selection and event placement in terms of available solar energy and anticipated po...
Paul Tompkins, Anthony Stentz, William Whittaker
IEEEPACT
2002
IEEE
15 years 8 months ago
Using the Compiler to Improve Cache Replacement Decisions
Memory performance is increasingly determining microprocessor performance and technology trends are exacerbating this problem. Most architectures use set-associative caches with L...
Zhenlin Wang, Kathryn S. McKinley, Arnold L. Rosen...
IPPS
2002
IEEE
15 years 8 months ago
Next Generation System Software for Future High-End Computing Systems
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...
Guang R. Gao, Kevin B. Theobald, Ziang Hu, Haiping...
133
Voted
MICRO
2002
IEEE
128views Hardware» more  MICRO 2002»
15 years 8 months ago
Compiler-directed instruction cache leakage optimization
Excessive power consumption is widely considered as a major impediment to designing future microprocessors. With the continued scaling down of threshold voltages, the power consum...
Wei Zhang 0002, Jie S. Hu, Vijay Degalahal, Mahmut...