Sciweavers

116 search results - page 8 / 24
» Tuple-based abstract data types: full parallelism
Sort
View
CLUSTER
2007
IEEE
13 years 8 months ago
Combining data sharing with the master-worker paradigm in the common component architecture
Abstract— Software component technologies are being accepted as an adequate solution for handling the complexity of applications. However, existing software component models tend...
Gabriel Antoniu, Hinde-Lilia Bouziane, Mathieu Jan...
ROOM
2000
13 years 9 months ago
Checking the Consistency of UML Class Diagrams Using Larch Prover
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
Pascal André, Annya Romanczuk, Jean-Claude ...
IFL
2003
Springer
167views Formal Methods» more  IFL 2003»
14 years 1 months ago
A Functional Shell That Dynamically Combines Compiled Code
Abstract. We present a new shell that provides the full basic functionality of a strongly typed lazy functional language, including overloading. The shell can be used for manipulat...
Arjen van Weelden, Rinus Plasmeijer
APLAS
2004
ACM
14 years 1 months ago
Automatic Generation of Editors for Higher-Order Data Structures
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...
Peter Achten, Marko C. J. D. van Eekelen, Rinus Pl...
VLDB
1987
ACM
93views Database» more  VLDB 1987»
14 years 5 min ago
FAD, a Powerful and Simple Database Language
FAD is a powerful and simple language designed for a highly parallel database machine. The basic concepts of the language are its data structures (which we call objects) and its p...
François Bancilhon, Ted Briggs, Setrag Khos...