Sciweavers

2266 search results - page 205 / 454
» Generalizing parametric timing analysis
Sort
View
CGO
2008
IEEE
15 years 9 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...
GLVLSI
2007
IEEE
107views VLSI» more  GLVLSI 2007»
15 years 9 months ago
Side-channel resistant system-level design flow for public-key cryptography
In this paper, we propose a new design methodology to assess the risk for side-channel attacks, more specifically timing analysis and simple power analysis, at an early design st...
Kazuo Sakiyama, Elke De Mulder, Bart Preneel, Ingr...
157
Voted
DIAL
2006
IEEE
110views Image Analysis» more  DIAL 2006»
15 years 9 months ago
DIAL 2004 Working Group Report on Acquisition Quality Control
This report summarizes the discussions of the Working Group on Acquisition Quality at the International Workshop on Document Image Analysis for Libraries, Palo Alto, CA, 23-24 Jan...
Elisa H. Barney Smith, Henry S. Baird, William A. ...
120
Voted
HT
2007
ACM
15 years 7 months ago
An agile hypertext design methodology
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...
Gary B. Wills, Noura Abbas, Rakhi Chandrasekharan,...
APN
2006
Springer
15 years 7 months ago
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
Serge Haddad, Lynda Mokdad, Patrice Moreaux