813 search results - page 92 / 163 » Correctness Properties for Multiagent Systems |
122
click to vote
GLVLSI
2006
IEEE
15 years 9 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...
122
Voted
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
144
click to vote
AINA
2006
IEEE
15 years 7 months ago
2006
IEEE
The design and development process of complex systems require an adequate methodology and efficient instrumental support in order to early detect and correct anomalies in the func...
128
Voted
AUSAI
2010
Springer
15 years 2 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
120
click to vote
HIPEAC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...