7961 search results - page 1399 / 1593 » Input-Output Model Programs |
179
Voted
ISLPED
2006
ACM
16 years 8 days 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 ...
133
click to vote
ISSTA
2006
ACM
16 years 8 days 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...
172
Voted
SAC
2006
ACM
16 years 8 days 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...
154
click to vote
SIGCSE
2006
ACM
16 years 8 days 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 ...
154
click to vote
AINA
2005
IEEE
15 years 12 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 ...