1755 search results - page 94 / 351 » An efficient simulation algorithm based on abstract interpre... |
126
click to vote
VLSID
2005
IEEE
16 years 3 months ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
128
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a CPU scheduling algorithm, called Energy-efficient Utility Accrual Algorithm (or EUA), for battery-powered, embedded real-time systems. We consider an embedded softwar...
129
click to vote
ICSAP
2010
15 years 7 months ago
2010
— When sensors are redundantly deployed, a subset of sensors should be selected to actively monitor the field (referred to as a "cover"), while the rest of the sensors ...
158
click to vote
SBACPAD
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper discusses the implementation of a numerical algorithm for simulating incompressible fluid flows based on the finite difference method and designed for parallel compu...
109
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Distributed coordination is critical for a multirobot system in hazardous waste cleanup under a dynamic environment. To achieve higher efficiency as well as robustness,...