Sciweavers

5634 search results - page 202 / 1127
» About Abstract Classes
Sort
View
IPPS
1999
IEEE
15 years 10 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 10 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 10 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»
15 years 6 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
15 years 4 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