9186 search results - page 1305 / 1838 » A Module System for Scheme |
158
click to vote
CP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
165
click to vote
EUROCRYPT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
157
click to vote
ICPP
2003
IEEE
15 years 10 months ago
2003
IEEE
Process/thread migration and checkpointing schemes support load balancing, load sharing and fault tolerance to improve application performance and system resource usage on worksta...
140
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
Reducing the power consumption of computing devices has gained a lot of attention recently. Many research works have focused on reducing power consumption in the off-chip buses as...
158
click to vote
MOBICOM
2003
ACM
15 years 10 months ago
2003
ACM
Reducing the energy consumption by wireless communication devices is perhaps the most important issue in the widely-deployed and exponentially-growing IEEE 802.11 Wireless LANs (W...