Sciweavers

814 search results - page 34 / 163
» Analysis of Modular Arithmetic
Sort
View
77
Voted
ACJ
2004
40views more  ACJ 2004»
15 years 2 months ago
Modular Consistency Analysis of Component-Based Design
Yan Jin, Charles Lakos, Robert Esser
CJ
2000
52views more  CJ 2000»
15 years 2 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci
93
Voted
ENTCS
2010
82views more  ENTCS 2010»
15 years 5 days 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...