3828 search results - page 620 / 766 » Proof-Based System Engineering Using a Virtual System Model |
176
Voted
HPCA
1999
IEEE
15 years 9 months ago
1999
IEEE
Much research has been done in fast communication on clusters and in protocols for supporting software shared memory across them. However, the end performance of applications that...
158
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
192
click to vote
WAIM
2009
Springer
15 years 11 months ago
2009
Springer
Search engine advertising has become the main stream of online advertising system. In current search engine advertising systems, all users will get the same advertisement rank if t...
156
click to vote
ISPASS
2007
IEEE
15 years 11 months ago
2007
IEEE
— The design trend towards CMPs has made the simulation of multiprocessor systems a necessity and has also made multiprocessor systems widely available. While a serial multiproce...
156
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...