3713 search results - page 532 / 743 » Constructing a Calculus of Programs |
108
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
We settle the question of tight thresholds for offline cuckoo hashing. The problem can be stated as follows: we have n keys to be hashed into m buckets each capable of holding a s...
117
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
A well-known concern in the setting of identity based encryption is that the PKG is all powerful and has to be completely trusted. To mitigate this problem, the notion of Accounta...
142
click to vote
VLSISP
2002
15 years 2 months ago
2002
Large-grain synchronous dataflow graphs or multi-rate graphs have the distinct feature that the nodes of the dataflow graph fire at different rates. Such multi-rate large-grain dat...
140
click to vote
SPAA
2009
ACM
16 years 3 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
168
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...