3742 search results - page 720 / 749 » On the Use of Formal Techniques for Validation |
129
click to vote
IEEEPACT
2008
IEEE
15 years 8 months ago
2008
IEEE
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
124
click to vote
ANSS
2007
IEEE
15 years 8 months ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...
114
click to vote
CAEPIA
2007
Springer
15 years 8 months ago
2007
Springer
Consider a robot whose task is to pick up some colored balls from a grid, taking the red balls to a red spot, the blue balls to a blue spot and so on, one by one, without knowing e...
129
click to vote
EUC
2007
Springer
15 years 8 months ago
2007
Springer
Cooperative caching is an important technique to support efficient data dissemination and sharing in Mobile Ad hoc Networks (MANETs). In order to ensure valid data access, the cach...
141
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— Opportunistic spectrum access and adaptive power management are effective techniques to improve throughput, delay performance, and energy efficiency for wireless networks. In ...