4126 search results - page 627 / 826 » Relationships with other Formalisms |
156
click to vote
CASES
2006
ACM
16 years 14 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...
148
click to vote
ERLANG
2006
ACM
16 years 14 days ago
2006
ACM
We present a case study in which a novel testing tool, Quviq QuickCheck, is used to test an industrial implementation of the Megaco protocol. We considered positive and negative t...
155
click to vote
PPOPP
2006
ACM
16 years 13 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
210
click to vote
SAC
2006
ACM
16 years 13 days ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
187
click to vote
SOFTVIS
2006
ACM
16 years 13 days ago
2006
ACM
We present Clack, a graphical environment for teaching students how Internet routers work and other core networking concepts. Clack is a router written as a Java Applet, and route...