4211 search results - page 586 / 843 » Types as Abstract Interpretations |
161
click to vote
ARC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Virtual channel reservation is a simple approach for providing guaranteed throughput services in a virtual channel network-on-chip. However, its performance is limited by...
132
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In a process calculus, an agent guarantees responsive usage of a channel name r if a communication along r is guaranteed to eventually take place. Responsiveness is impor...
150
click to vote
CICLING
2004
Springer
15 years 10 months ago
2004
Springer
Abstract: In this paper we describe a flexible, portable and languageindependent infrastructure for setting up large monolingual language corpora. The approach is based on collecti...
164
click to vote
DASFAA
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Certain types of database-backed web sites heavily utilize userdefined functions in SQL queries. Unfortunately, existing web proxy caching schemes can not handle these fu...
152
click to vote
CHES
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Pairings on elliptic curves are fast coming of age as cryptographic primitives for deployment in new security applications, particularly in the context of implementations...