284 search results - page 7 / 57 » Recursive Abstractions for Parameterized Systems |
VMCAI
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
ICTAC
2005
Springer
14 years 29 days ago
2005
Springer
n abstract computer virology G. Bonfante, M. Kaczmarek, and J-Y Marion Loria, Calligramme project, B.P. 239, 54506 Vandœuvre-l`es-Nancy C´edex, France, and ´Ecole Nationale Sup...
MICCAI
2005
Springer
14 years 8 months ago
2005
Springer
Abstract. We present here a method that aims at defining a surfacebased coordinate system on the cortical surface. Such a system is needed for both cortical localization and inters...