10051 search results - page 1483 / 2011 » A Dynamic Separator Algorithm |
145
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Recently, many parallel computing models using dynamically reconfigurable electrical buses have been proposed in the literature. The underlying characteristics are similar among ...
148
click to vote
IROS
2007
IEEE
16 years 21 days 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,...
147
click to vote
ISMVL
2007
IEEE
16 years 20 days ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
195
click to vote
QEST
2007
IEEE
16 years 20 days ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
193
click to vote
RTSS
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper focuses on scheduling different hard real-time applications on a uniprocessor when the earliest deadline first algorithm is used as the local scheduler, and the global ...