441 search results - page 17 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
102
Voted
SAS
2005
Springer
15 years 5 months ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
107
click to vote
ICCAD
1995
IEEE
15 years 3 months ago
1995
IEEE
: We present several techniques for accelerating dynamic vector compaction for combinational and sequential circuits. A key feature of all our techniques is that they significantly...
CHI
2005
ACM
16 years 4 days ago
2005
ACM
Current methods to represent system or task usability in a single metric do not include all the ANSI and ISO defined usability aspects: effectiveness, efficiency & satisfactio...
IOLTS
2006
IEEE
15 years 5 months ago
2006
IEEE
FPGA emulation has proven to be a performance effective method to analyse the behaviour of digital circuits in the presence of soft errors due to SEU effects. In particular, the r...
NIPS
2007
15 years 1 months ago
2007
Rosetta is one of the leading algorithms for protein structure prediction today. It is a Monte Carlo energy minimization method requiring many random restarts to find structures ...