34181 search results - page 36 / 6837 » The Computer System GRAPHOGRAPH |
CDC
2010
IEEE
13 years 2 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 2 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 2 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...
WEBI
2004
Springer
14 years 1 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 ...
ICYCS
2008
IEEE
14 years 2 months ago
2008
IEEE
In 21 century, an era of information and internet, it is essential for universities to develop their education in order to be focused. Testing online has unparalleled advantages i...