Sciweavers

3824 search results - page 83 / 765
» Geometry Constructions Language
Sort
View
FMSD
2007
101views more  FMSD 2007»
13 years 10 months ago
Timed substitutions for regular signal-event languages
In the classical framework of formal languages, a refinement n is modeled by a substitution and an abstraction by an inverse substitution. These mechanisms have been widely studie...
Béatrice Bérard, Paul Gastin, Antoin...
PPL
2008
96views more  PPL 2008»
13 years 10 months ago
A Hybrid Shared Memory Execution Model for a Data Parallel Language with I/O
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
Clemens Grelck, Steffen Kuthe, Sven-Bodo Scholz
AVI
1998
13 years 11 months ago
Kaleidoquery: a visual query language for object databases
In this paper we describe Kaleidoquery, a visual query language for object databases with the same expressive power as OQL. We will describe the design philosophy behind the filte...
Norman Murray, Norman W. Paton, Carole A. Goble
ECOOP
2005
Springer
14 years 3 months ago
First-Class Relationships in an Object-Oriented Language
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
Gavin M. Bierman, Alisdair Wren
FDL
2007
IEEE
14 years 4 months ago
APDL: A Processor Description Language For Design Space Exploration of Embedded Processors
—This paper presents Anahita Processor Description Language (APDL) for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generate...
Nima Honarmand, Hasan Sohofi, Maghsoud Abbaspour, ...