Sciweavers

6054 search results - page 12 / 1211
» Implementation of Andorra-based Languages
Sort
View
ACMSE
2007
ACM
14 years 1 months ago
Java in the box: implementing the BoxScript component language
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
Yi Liu, H. Conrad Cunningham
EMSOFT
2006
Springer
14 years 22 days ago
A timing model for synchronous language implementations in simulink
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
Timothy Bourke, Arcot Sowmya
ASPDAC
2005
ACM
102views Hardware» more  ASPDAC 2005»
13 years 11 months ago
A framework for automated and optimized ASIP implementation supporting multiple hardware description languages
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
Oliver Schliebusch, Anupam Chattopadhyay, David Ka...
JSS
2010
120views more  JSS 2010»
13 years 3 months ago
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
Marco Bernardo, Edoardo Bontà, Alessandro A...
XIMEP
2005
ACM
110views Database» more  XIMEP 2005»
14 years 2 months ago
GalaTex: A Conformant Implementation of the XQuery Full-Text Language
We describe GALATEX, the first complete implementation of XQuery
Emiran Curtmola, Sihem Amer-Yahia, Philip Brown, M...