4192 search results - page 665 / 839 » Efficient testing of groups |
98
Voted
ICSE
2007
IEEE-ACM
16 years 2 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...
112
Voted
MOBISYS
2006
ACM
16 years 2 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...
136
click to vote
DCC
2008
IEEE
16 years 2 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...
139
click to vote
POPL
2010
ACM
16 years 17 hour 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
15 years 11 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...