2663 search results - page 249 / 533 » How to Choose a Timing Model |
122
click to vote
CCGRID
2009
IEEE
15 years 11 months ago
2009
IEEE
Volunteer Computing (VC) projects harness the power of computers owned by volunteers across the Internet to perform hundreds of thousands of independent jobs. In VC projects, the ...
132
click to vote
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
162
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This article presents a control architecture for controlling the locomotion of an amphibious snake/lamprey robot capable of swimming and serpentine locomotion. The control arch...
120
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
141
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
For future scenarios of power system operations, like the self healing grid vision, system and communications architecture are key. Applications will require unlimited access to a...