3690 search results - page 449 / 738 » Computation with classical sequents |
197
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The notion of ThisType has been proposed to promote typesafe reuse of binary methods and recently extended to mutually recursive definitions. It is well-known, however, that This...
192
click to vote
WISEC
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of control-channel jamming attacks in multi-channel ad hoc networks. Deviating from the traditional view that sees jamming attacks as a physical-layer vulne...
172
Voted
SSDBM
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel sensor network query processing architecture that (a) covers all the query optimization phases that are required to map a declarative query to executable code; ...
163
click to vote
NOCS
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose Connection then Credits (CTC) as a new end-to-end flow control protocol to handle messagedependent deadlocks in networks-on-chip (NoC) for multicore systems-on-chip. C...
176
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper we define the Weak Mutual Exclusion (WME) problem. Analogously to classical Distributed Mutual Exclusion (DME), WME serializes the accesses to a shared resource. Di...