106 search results - page 14 / 22 » Slicing Abstractions |
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...
VTC
2008
IEEE
14 years 4 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...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
—We present MobiStream— a video streaming system that exploits the perceptual value in video content and the characteristics of the link layer and physical layer channels to en...
COMPSAC
1996
IEEE
14 years 2 months ago
1996
IEEE
Business rules are operational rules that business organizationsfollow to peq%rm various activities. Over time, business rules evolve and the software that implemented them are al...