Sciweavers

3796 search results - page 530 / 760
» Presentations by Programmers for Programmers
Sort
View
CP
2004
Springer
15 years 6 months ago
Full Dynamic Substitutability by SAT Encoding
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeab...
Steven David Prestwich
122
Voted
DATE
2004
IEEE
173views Hardware» more  DATE 2004»
15 years 6 months ago
Supporting Cache Coherence in Heterogeneous Multiprocessor Systems
In embedded system-on-a-chip (SoC) applications, the need for integrating heterogeneous processors in a single chip is increasing. An important issue in integrating heterogeneous ...
Taeweon Suh, Douglas M. Blough, Hsien-Hsin S. Lee
116
Voted
CCS
2006
ACM
15 years 6 months ago
Scalable group communication system for scalable trust
Programmers of large-scale trusted systems need tools to simplify tasks such as replicating services or data. Group communication systems achieve this via various flavors of relia...
Krzysztof Ostrowski, Kenneth P. Birman
147
Voted
EH
2004
IEEE
163views Hardware» more  EH 2004»
15 years 6 months ago
Towards Evolvable Analog Artificial Neural Networks Controllers
This work deals with the design of analog circuits for Artificial Neural Networks (ANNs) controllers using an Evolvable Hardware (EHW) platform. ANNs are massively parallel system...
José Franco Machado do Amaral, Jorge Lu&iac...
96
Voted
EH
2004
IEEE
102views Hardware» more  EH 2004»
15 years 6 months ago
Circuit Self-Recovery Experiments in Extreme Environments
Temperature and radiation tolerant electronics, as well as long life survivability are key capabilities required for future NASA missions. Current approaches to electronics for ex...
Adrian Stoica, Didier Keymeulen, Tughrul Arslan, V...