14244 search results - page 2668 / 2849 » Modeling Program Predictability |
84
Voted
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
110
Voted
SAC
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
113
Voted
SIGCSE
2006
ACM
15 years 8 months ago
2006
ACM
This paper describes the development and structure of a second course in artificial intelligence that was developed to meet the needs of upper-division undergraduate and graduate ...
115
Voted
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
The network lifetime for wireless sensor network plays an important role to survivability. Thus, we indicate the importance of routing protocol to network lifetime, and model the ...
86
Voted
CCGRID
2005
IEEE
15 years 7 months ago
2005
IEEE
Grid Computing is becoming more popular. The traditional role of the Internet as being an information repository is evolving to become a resource repository. People using the Inte...