34229 search results - page 241 / 6846 » Power-aware computing systems |
125
Voted
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
120
click to vote
ACII
2005
Springer
15 years 9 months ago
2005
Springer
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...
124
Voted
PACT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of th...
116
Voted
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
A small number of network components failures can cause high-speed networks (LANs) or System Area Networks (SANs) to be partitioned. This issue has been resolved with the