10890 search results - page 1949 / 2178 » Automatic Complexity Analysis |
170
click to vote
SPIN
2007
Springer
16 years 17 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
166
click to vote
CODES
2006
IEEE
16 years 16 days ago
2006
IEEE
Although mobile Java code is frequently executed on many wireless devices, the susceptibility to electromagnetic (EM) attacks is largely unknown. If analysis of EM waves emanating...
191
click to vote
MICRO
2006
IEEE
16 years 14 days ago
2006
IEEE
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
163
click to vote
COMPGEOM
2006
ACM
16 years 13 days ago
2006
ACM
We study the problem of minimum-distortion embedding of ultrametrics into the plane and higher dimensional spaces. Ultrametrics are a natural class of metrics that frequently occu...
171
click to vote
CODES
2005
IEEE
16 years 2 days ago
2005
IEEE
The continuous improvement on the design methodologies and processes has made possible the creation of huge and very complex digital systems. Design verification is one of the mai...