4820 search results - page 667 / 964 » Implementing Signatures for C |
185
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
Current routing protocols are monolithic, specifying the algorithm used to construct forwarding tables, the metric used by the algorithm (generally some form of hop-count), and th...
181
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
As the number of hosts attached to a network increases beyond what can be connected by a single local area network (LAN), forwarding packets between hosts on different LANs become...
154
Voted
CAV
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
177
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper we describe techniques for compiling finegrained SPMD-threaded programs, expressed in programming models such as OpenCL or CUDA, to multicore execution platforms. Pr...
151
click to vote
REST
2010
ACM
15 years 11 months ago
2010
ACM
Traditionally, distributed computing problems have been solved by partitioning data into chunks able to be handled by commodity hardware. Such partitioning is not possible in case...