42738 search results - page 8163 / 8548 » Search Computing Systems |
182
click to vote
RTSS
2005
IEEE
16 years 7 days ago
2005
IEEE
Static timing analysis safely bounds worst-case execution times to determine if tasks can meet their deadlines in hard real-time systems. However, conventional timing analysis req...
177
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
We describe a formalization of the elementary algebra, topology and analysis of finite-dimensional Euclidean space in the HOL Light theorem prover. (Euclidean space is RN with the...
176
click to vote
WIOPT
2005
IEEE
16 years 7 days ago
2005
IEEE
Loss-Free handoff in Mobile Networks is an extensive research area. Mobile IP (MIP) provided a solution to enable a mobile node to roam from one location to another while maintain...
189
click to vote
ASPDAC
2005
ACM
16 years 7 days ago
2005
ACM
The progressive trend of fabrication technologies towards the nanometer regime has created a number of new physical design challenges for computer architects. Design complexity, u...
181
click to vote
JCDL
2005
ACM
16 years 7 days ago
2005
ACM
Some large scale topical digital libraries, such as CiteSeer, harvest online academic documents by crawling open-access archives, university and author homepages, and authors’ s...