284 search results - page 1 / 57 » Recursive Abstractions for Parameterized Systems |
FM
2009
Springer
13 years 11 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
ENTCS
2008
13 years 4 months ago
2008
c Abstraction in Parameterized Verification Parosh Aziz Abdulla1 Department of Information Technology Uppsala University Sweden Giorgio Delzanno2 Dipartimento Informatica e Scienze...
EMSOFT
2008
Springer
13 years 6 months ago
2008
Springer
WSC
2004
13 years 6 months ago
2004
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...
11
Voted
GPCE
2008
Springer
13 years 5 months ago
2008
Springer
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusabl...