2634 search results - page 88 / 527 » Faster Than Uppaal |
SCAM
2008
IEEE
14 years 3 months 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...
AFRICACRYPT
2008
Springer
14 years 3 months 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...
ISQED
2007
IEEE
14 years 3 months 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...
ESTIMEDIA
2007
Springer
14 years 3 months 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...
FMCAD
2007
Springer
14 years 3 months 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...