Sciweavers

814 search results - page 34 / 163
» Analysis of Modular Arithmetic
Sort
View
ACJ
2004
40views more  ACJ 2004»
14 years 9 months ago
Modular Consistency Analysis of Component-Based Design
Yan Jin, Charles Lakos, Robert Esser
CJ
2000
52views more  CJ 2000»
14 years 9 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci
ENTCS
2010
82views more  ENTCS 2010»
14 years 7 months ago
A Modular Static Analysis Approach to Affine Loop Invariants Detection
ional Workshop on Numerical and Symbolic Abstract Domains NSAD 2010 I.0.1I.0.1
Corinne Ancourt, Fabien Coelho, François Ir...