1833 search results - page 278 / 367 » Mechanized Verification with Sharing |
146
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Recent research trends and technology developments are bringing us closer to the realization of autonomous multirobot systems performing increasingly complex missions. ...
145
Voted
WONS
2005
IEEE
15 years 10 months ago
2005
IEEE
Increasing need for people to be “connected”; while at the same time remain as mobile as ever poses several interesting issues in wireless networks. It is conceivable in the n...
135
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
Despite the ever increasing popularity of handheld, networked gaming consoles, fully interactive real-time, multiplayer games designed for these platforms have yet to become a rea...
128
click to vote
HASKELL
2005
ACM
15 years 10 months ago
2005
ACM
Multi-core processors are coming, and we need ways to program them. The combination of purely-functional programming and explicit, monadic threads, communicating using transaction...
206
Voted
WOWMOM
2005
ACM
15 years 10 months ago
2005
ACM
Ad hoc networks represent a key factor in the evolution of wireless communications. These networks typically consist of equal nodes that communicate without central control, inter...