Sciweavers

1816 search results - page 258 / 364
» Case study in modeling and simulation validation methodology
Sort
View
IJCAI
2007
14 years 11 months ago
Towards Reasoning about the Past in Neural-symbolic Systems
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
Rafael V. Borges, Luís C. Lamb, Artur S. d'...
WM
2003
14 years 11 months ago
Visualizing the shadows of Information
: Three-dimensional visualization facilitates human perception, imagination, and reasoning based on computer-represented knowledge. Since human imagination and reasoning is based o...
Martin Bertram, Sascha Köhn, Jan-Thies Bä...
DSN
2005
IEEE
15 years 3 months ago
Testing the Dependability and Performance of Group Communication Based Database Replication Protocols
Database replication based on group communication systems has recently been proposed as an efficient and resilient solution for large-scale data management. However, its evaluati...
A. Sousa, José Pereira, L. Soares, Alfr&aci...
IEEECIT
2005
IEEE
15 years 3 months ago
A Performance and Power Co-optimization Approach for Modern Processors
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
Yongxin Zhu, Weng-Fai Wong, Cheng-Kok Koh
PPL
2008
144views more  PPL 2008»
14 years 9 months ago
Rapid Prototyping of the Data-Driven Chip-Multiprocessor (d2-CMP) Using FPGAs
This paper presents the FPGA implementation of the prototype for the Data-Driven Chip-Multiprocessor (D2-CMP). In particular, we study the implementation of a Thread Synchronizati...
Konstantinos Tatas, Costas Kyriacou, Paraskevas Ev...