990 search results - page 180 / 198 » From Design Patterns to Parallel Architectural Skeletons |
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
IOPADS
1997
14 years 11 months ago
1997
As high-speed networks make it easier to use distributed resources, it becomes increasingly common that applications and their data are not colocated. Users have traditionally add...
AROBOTS
1999
14 years 9 months ago
1999
Sensing visual motion gives a creature valuable information about its interactions with the environment. Flies in particular use visual motion information to navigate through turbu...
83
Voted
MOBISYS
2007
ACM
15 years 9 months ago
2007
ACM
Ubiquitous connectivity on mobile devices will enable numerous new applications in healthcare and multimedia. We set out to check how close we are towards ubiquitous connectivity ...
SIGCOMM
2010
ACM
14 years 9 months ago
2010
ACM
Dense 802.11 wireless networks present a pressing capacity challenge: users in proximity contend for limited unlicensed spectrum. Directional antennas promise increased capacity b...