1654 search results - page 172 / 331 » Comparing Two Software Design Process Theories |
125
click to vote
DAC
2002
ACM
16 years 6 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
175
click to vote
ICPPW
2009
IEEE
15 years 2 months ago
2009
IEEE
Identifying peptides, which are short polymeric chains of amino acid residues in a protein sequence, is of fundamental importance in systems biology research. The most popular appr...
137
click to vote
CHI
2003
ACM
16 years 5 months ago
2003
ACM
This research investigates the cognitive strategies and eye movements that people use to search for a known item in a hierarchical computer display. Computational cognitive models...
GLVLSI
2005
IEEE
15 years 10 months ago
2005
IEEE
Energy recovery clocking results in significant energy savings in clock distribution networks as compared to conventional squarewave clocking. However, since energy recovery clock...
204
click to vote
ICIP
1997
IEEE
15 years 8 months ago
1997
IEEE
A novel algorithm is described for coding objects in video compression systems which gives complete control over the bit allocation to the video objects. The method is evaluated b...