34229 search results - page 110 / 6846 » Power-aware computing systems |
131
click to vote
ISSAC
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor progra...
120
Voted
ASPLOS
2011
ACM
14 years 6 months ago
2011
ACM
Transiently powered computing devices such as RFID tags, kinetic energy harvesters, and smart cards typically rely on programs that complete a task under tight time constraints be...
137
click to vote
HPCN
1998
Springer
15 years 6 months ago
1998
Springer
We describe the Paraflow system for connecting heterogeneous computing services together into a flexible and efficient data-mining metacomputer. There are three levels of parallel...
116
Voted
GCC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose an active grid resource management system supported by active networks for computational grid. First, we construct a scalable two-level resource managemen...
150
Voted
ECBS
2007
IEEE
15 years 4 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...