Sciweavers

2171 search results - page 59 / 435
» A Generic Process Algebra
Sort
View
129
Voted
SBBD
2004
133views Database» more  SBBD 2004»
15 years 2 months ago
Query Processing in ROSA Data Model
Learning Content Management Systems (LCMS) store and manage e-learning content and play an important role in the development of Distance Learning technology. ROSA (Repository of O...
Fábio Coutinho, Fabio Porto
AADEBUG
1993
Springer
15 years 4 months ago
Animators for Generated Programming Environments
Animation of execution is a necessary feature of source-level debuggers. We present a framework where animators are generated from existing algebraic speci cations of interpreters....
Frank Tip
114
Voted
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 4 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
EGITALY
2006
15 years 2 months ago
Implementing mesh-based approaches for deformable objects on GPU
These latest years witnessed an impressive improvement of graphics hardware both in terms of features and in terms of computational power. This improvement can be easily observed ...
Guido Ranzuglia, Paolo Cignoni, Fabio Ganovelli, R...
110
Voted
ISMM
2009
Springer
15 years 7 months ago
Milena: Write Generic Morphological Algorithms Once, Run on Many Kinds of Images
Abstract. We present a programming framework for discrete mathematical morphology centered on the concept of genericity. We show that formal definitions of morphological algorithm...
Roland Levillain, Thierry Géraud, Laurent N...