6201 search results - page 28 / 1241 » Implementation of Axiomatic Language |
DBPL
2001
Springer
14 years 1 months ago
2001
Springer
Commercial OLAP systems usually treat OLAP dimensions as static entities. In practice, dimension updates are often necessary in order to adapt the multidimensional database to chan...
ACMSE
2007
ACM
14 years 15 days ago
2007
ACM
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...
EMSOFT
2006
Springer
14 years 5 days ago
2006
Springer
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...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...
JSS
2010
13 years 3 months ago
2010
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...