2059 search results - page 311 / 412 » New Advances in Reconfigurable Computing and its Application... |
88
Voted
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
109
click to vote
NSDI
2007
15 years 1 months ago
2007
Networked systems are often evaluated on overlay testbeds such as PlanetLab and emulation testbeds such as Emulab. Emulation testbeds give users great control over the host and ne...
100
click to vote
GRAPHITE
2003
ACM
15 years 4 months ago
2003
ACM
We consider a repository of animation models and motions that can be reused to generate new animation sequences. For instance, a user can retrieve an animation of a dog kicking it...
122
click to vote
COORDINATION
2009
Springer
16 years 5 days ago
2009
Springer
: Heterogeneous wireless sensor networks represent a challenging programming environment. Servilla addresses this by offering a new middleware framework that provides service provi...
STOC
2007
ACM
15 years 12 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...