4348 search results - page 792 / 870 » Using UML for Modeling Complex Real-Time Systems |
175
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
ACT Benchmarks are an immensely useful tool in performing research since they allow for rapid and clear comparison between different approaches to solving CAD problems. Recent expe...
184
click to vote
PODC
2011
ACM
14 years 9 months ago
2011
ACM
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...
178
click to vote
ATAL
2009
Springer
16 years 23 days ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
170
click to vote
MEMOCODE
2006
IEEE
16 years 5 days ago
2006
IEEE
The theory of latency-insensitive design (LID) was recently invented to cope with the time closure problem in otherwise synchronous circuits and programs. The idea is to allow the...
147
click to vote
IJCAI
1993
15 years 7 months ago
1993
Since its inception, arti cial intelligence has relied upon a theoretical foundation centred around perfect rationality as the desired property of intelligent systems. We argue, a...