Sciweavers

7118 search results - page 170 / 1424
» Electrical and Computer Engineering
Sort
View
EUROPAR
2003
Springer
15 years 3 months ago
The Verifying Compiler: A Grand Challenge for Computing Research
I propose a set of criteria which distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the int...
C. A. R. Hoare
AII
1989
15 years 2 months ago
Inductive Inference, DFAs, and Computational Complexity
This paper surveys recent results concerning the inference of deterministic finite automata (DFAs). The results discussed determine the extent to which DFAs can be feasibly inferr...
Leonard Pitt
APSEC
2004
IEEE
15 years 1 months ago
SA-RFID: Situation-Aware RFID Architecture Analysis in Ubiquitous Computing
Sensors in ubiquitous computing provide a new opportunity to extend existing RFID capabilities to situation-awareness. This paper proposes several alternatives of the Situation-Aw...
Dongwon Jeong, Young-Gab Kim, Hoh Peter In
AC
2011
Springer
14 years 5 months ago
A Taxonomy and Survey of Energy-Efficient Data Centers and Cloud Computing Systems
Traditionally, the development of computing systems has been focused on performance improvements driven by the demand of applications from consumer, scientific, and business domai...
Anton Beloglazov, Rajkumar Buyya, Young Choon Lee,...
COMPSAC
2004
IEEE
15 years 1 months ago
Materializing Ubiquitous Computing Environments
A key challenge in ubiquitous computing is how to manage ambient information about the environment where a variety of devices appear. Traditional capability descriptions are inadeq...
Kimio Kuramitsu, Hideyuki Tokuda