2721 search results - page 396 / 545 » An experimental analysis of Lemke-Howson algorithm |
161
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
163
click to vote
SLIP
2009
ACM
16 years 29 days ago
2009
ACM
This paper proposes an efficient method to predict the worst case of voltage violation by multi-domain clock gating in a three-dimensional (3D) on-chip power network considering l...
179
click to vote
CIVR
2007
Springer
16 years 19 days ago
2007
Springer
Online image repositories such as Flickr contain hundreds of millions of images and are growing quickly. Along with that the needs for supporting indexing, searching and browsing ...
181
click to vote
GECCO
2007
Springer
16 years 18 days ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
162
click to vote
PLDI
2006
ACM
16 years 12 days ago
2006
ACM
Procedures have long been the basic units of compilation in conventional optimization frameworks. However, procedures are typically formed to serve software engineering rather tha...