4930 search results - page 583 / 986 » Learning minimal abstractions |
187
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—MPLS recovery mechanisms are increasing in popularity because they can guarantee fast restoration and high QoS assurance. Their main advantage is that their backup paths...
178
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Fast stream ciphers are used extensively for encrypted data transmission in mobile networks and over multigigabit links. CryptMT, a recently proposed stream cipher, is o...
131
click to vote
APSEC
2006
IEEE
16 years 29 days ago
2006
IEEE
It is widely accepted that strong coupling such as common coupling should be used with caution among modules. Linux kernel is analyzed in terms of these common coupling instances ...
160
click to vote
RTSS
2005
IEEE
16 years 14 days ago
2005
IEEE
nt a new concurrency control abstraction for real-time systems called preemptible atomic regions (PARs). PARs a transactional mechanism that improves upon lock-based mutual exclus...
175
click to vote
ATVA
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...