9186 search results - page 1471 / 1838 » A Module System for Scheme |
134
Voted
HPCA
2001
IEEE
16 years 4 months ago
2001
IEEE
With the increasing clock rate and transistor count of today's microprocessors, power dissipation is becoming a critical component of system design complexity. Thermal and po...
279
Voted
POPL
2002
ACM
16 years 4 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
134
Voted
OSDI
2002
ACM
16 years 4 months ago
2002
ACM
Recent advances in miniaturization and low-cost, lowpower design have led to active research in large-scale networks of small, wireless, low-power sensors and actuators. Time sync...
209
click to vote
SIGMOD
2008
ACM
16 years 3 months ago
2008
ACM
Lately the advances in centralized database management systems show a trend towards supporting rank-aware query operators, like top-k, that enable users to retrieve only the most ...
144
Voted
PERCOM
2005
ACM
16 years 3 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...