Sciweavers

42507 search results - page 142 / 8502
» On the analysis of
Sort
View
DAGSTUHL
1996
15 years 8 months ago
Specialization of Imperative Programs Through Analysis of Relational Expressions
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
Alexander Sakharov
SLP
1990
121views more  SLP 1990»
15 years 7 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard
BIOINFORMATICS
2007
50views more  BIOINFORMATICS 2007»
15 years 6 months ago
Exploiting sample variability to enhance multivariate analysis of microarray data
Page 1 of 2Exploiting sample variability to enhance multivariate analysis of microarray data -- Möller-Le... http://bioinformatics.oxfordjournals.org/cgi/content/abstract/23/20/2...
Carla S. Möller-Levet, Catharine M. West, Cri...
IJNSEC
2006
80views more  IJNSEC 2006»
15 years 6 months ago
Side Channel Analysis on Biometric-based Key Generation Algorithms on Resource Constrained Devices
Side channel analysis is a technique that enables the adversary to benefit from information leakages occurring due to the implementation of encryption algorithms on
Dimitrios L. Delivasilis, Sokratis K. Katsikas
ENTCS
2007
143views more  ENTCS 2007»
15 years 6 months ago
Formal Fault Tree Analysis - Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
Frank Ortmeier, Gerhard Schellhorn