2634 search results - page 88 / 527 » Faster Than Uppaal |
155
click to vote
SCAM
2008
IEEE
16 years 7 days ago
2008
IEEE
—Many software engineering applications require points-to analysis. Client applications range from optimizing compilers to program development and testing environments to reverse...
171
click to vote
AFRICACRYPT
2008
Springer
16 years 6 days ago
2008
Springer
Abstract. In 2000, Paulus and Takagi introduced a public key cryptosystem called NICE that exploits the relationship between maximal and non-maximal orders in imaginary quadratic n...
167
click to vote
ISQED
2007
IEEE
16 years 4 days ago
2007
IEEE
ct This paper develops an aggregation-based algebraic multigrid (AbAMG) method to efficiently analyze the power grids. Different from the conventional algebraic multigrid (AMG) sc...
154
click to vote
ESTIMEDIA
2007
Springer
16 years 1 days ago
2007
Springer
This paper presents a technique for high-level power estimation of microprocessors. The technique, which is based on abstract execution profiles called ’event signatures’, op...
166
click to vote
FMCAD
2007
Springer
16 years 23 hour ago
2007
Springer
We present a formulation of retiming to minimize the number of registers in a design by iterating a maximum network flow problem. The retiming returned will be the optimum one whi...