4192 search results - page 665 / 839 » Efficient testing of groups |
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
We present a software tool and a framework for security protocol change management. While we focus on trust negotiation protocols in this paper, many of the ideas are generally ap...
MOBISYS
2006
ACM
14 years 10 months ago
2006
ACM
Deployments of wireless LANs consisting of hundreds of 802.11 access points with a large number of users have been reported in enterprises as well as college campuses. However, du...
DCC
2008
IEEE
14 years 10 months ago
2008
IEEE
A novel object-based fractal monocular and stereo video compression scheme with quadtree-based motion and disparity compensation is proposed in this paper. Fractal coding is adopte...
POPL
2010
ACM
14 years 8 months ago
2010
ACM
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
ICCAD
2008
IEEE
14 years 7 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...