Sciweavers

5634 search results - page 202 / 1127
» About Abstract Classes
Sort
View
IPPS
1999
IEEE
15 years 3 months ago
Parallel Program Archetypes
A parallel program archetype is an abstraction that captures the common features of a class of problems with similar computational structure and combines them with a parallelizati...
Berna L. Massingill, K. Mani Chandy
SIGCSE
1997
ACM
111views Education» more  SIGCSE 1997»
15 years 3 months ago
Function objects, function templates, and passage by behavior in C++
Passing functions and function objects to general routines is a powerful abstraction mechanism that should be taught in freshman computer science. In C++, a “function” can be ...
Richard Rasala
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 3 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
ENDM
2010
87views more  ENDM 2010»
14 years 11 months ago
Euler Complexes (Oiks)
We present a class of instances of the existence of a second object of a specified type, in fact, of an even number of objects of a specified type, which generalizes the existence...
Jack Edmonds
MODELS
2010
Springer
14 years 9 months ago
Capturing the Intention of Model Changes
Abstract. Model differences calculated by differencing algorithms contain the atomic changes made to a model. However, they do not capture the user’s intention of the modifica...
Patrick Könemann