4887 search results - page 974 / 978 » System Level Design Using C |
105
click to vote
LCPC
2007
Springer
15 years 5 months ago
2007
Springer
The Standard Template Adaptive Parallel Library (stapl) is a parallel programming framework that extends C++ and stl with support for parallelism. stapl provides a collection of pa...
IMC
2006
ACM
15 years 5 months ago
2006
ACM
An accurate router-level topology of the Internet would benefit many research areas, including network diagnosis, inter-domain traffic engineering, and overlay construction. We ...
SASN
2006
ACM
15 years 5 months ago
2006
ACM
This paper focuses on defending against compromised nodes’ dropping of legitimate reports and investigates the misbehavior of a maliciously packet-dropping node in sensor networ...
133
Voted
MOBICOM
2005
ACM
15 years 5 months ago
2005
ACM
Vehicles equipped with wireless communication devices are poised to deliver vital services in the form of safety alerts, traffic congestion probing and on-road commercial applicat...
105
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...