34229 search results - page 75 / 6846 » Power-aware computing systems |
CDC
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
FCCM
2008
IEEE
14 years 4 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
HPDC
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper deals with a novel, distributed, QoS-aware, peer-topeer checkpointing arrangement component for mobile Grid (MoG) computing systems middleware. Checkpointing is more cr...
FUIN
2006
13 years 10 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
WEBI
2004
Springer
14 years 3 months ago
2004
Springer
Web Intelligence is a direction for scientific research that explores practical applications of Artificial Intelligence to the next generation of Web-empowered systems. In this ...