3333 search results - page 69 / 667 » Abstract Proof Search |
118
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...
150
Voted
ICA3PP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. There is growing interest in large-scale resource sharing with emerging architectures such as cloud computing, where globally distributed and commoditized resources can b...
101
Voted
EKAW
2006
Springer
15 years 6 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
113
Voted
ASPDAC
2008
ACM
15 years 3 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
115
Voted
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Shortest path search in transportation networks is unarguably one of the most important online search services nowadays (e.g., Google Maps, MapQuest, etc), with applications spanni...