441 search results - page 17 / 89 » Benchmarking Technique in E-Business Using the Galileo Metho... |
SAS
2005
Springer
14 years 1 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...
ICCAD
1995
IEEE
14 years 13 hour 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
14 years 8 months 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
14 years 2 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
13 years 10 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 ...