7961 search results - page 1399 / 1593 » Input-Output Model Programs |
144
click to vote
ISLPED
2006
ACM
15 years 9 months ago
2006
ACM
All existing methods for thermal-via allocation are based on a steady-state thermal analysis and may lead to excessive number of thermal vias. This paper develops an accurate and ...
94
Voted
ISSTA
2006
ACM
15 years 9 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...
122
Voted
SAC
2006
ACM
15 years 9 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...
126
click to vote
SIGCSE
2006
ACM
15 years 9 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 ...
125
Voted
AINA
2005
IEEE
15 years 9 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 ...