2041 search results - page 352 / 409 » Modelling Generic Judgements |
129
Voted
PODS
2010
ACM
15 years 8 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
118
click to vote
ISCC
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we study the problems of resource and performance management in channelized wireless networks. For identifying research issues systematically, we propose a research...
135
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Currently, since many SoCs include heterogeneous components such as CPUs, DSPs, ASICs, memories, buses, etc., system integration becomes a major step in the design flow. To enable...
103
click to vote
CLUSTER
2009
IEEE
15 years 8 months ago
2009
IEEE
—Achieving high-performance message passing on top of generic ETHERNET hardware suffers from the NIC interruptdriven model where coalescing is usually involved. We present an in-...
121
click to vote
ASIACRYPT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Semantic security against chosen-ciphertext attacks (INDCCA) is widely believed as the correct security level for public-key encryption scheme. On the other hand, it is o...