1586 search results - page 172 / 318 » Modeling the evolution of operating systems: An empirical st... |
169
click to vote
SIMPRA
2008
15 years 6 months ago
2008
This paper addresses the problem of verifying the discrete control logic that is typically implemented by programmable controllers. Not only are the logical properties of the cont...
181
click to vote
INFOCOM
2008
IEEE
16 years 28 days ago
2008
IEEE
—Wireless social community networks are emerging as a new alternative to provide wireless data access in urban areas. By relying on users in the network deployment, a wireless co...
181
click to vote
ISMAR
2002
IEEE
15 years 11 months ago
2002
IEEE
In this work we compare an in-house designed Tangible User Interface (TUI) with three alternative single-user tools through an empirical investigation. These three alternative too...
195
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents an EDF-based algorithm, called Earliest Deadline Deferrable Portion (EDDP), for efficient scheduling of recurrent real-time tasks on multiprocessor systems. Th...
164
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
This paper studies connectivity maintenance in robotic networks. We propose a distributed coordination algorithm that can be combined with the individual motion control strategies ...