Sciweavers

1021 search results - page 169 / 205
» Design of a Specification Language by Abstract Syntax Engine...
Sort
View
110
Voted
DAC
2003
ACM
16 years 4 days ago
A retargetable micro-architecture simulator
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
Wai Sum Mong, Jianwen Zhu
DAGSTUHL
2009
15 years 7 days ago
Model-Centric, Context-Aware Software Adaptation
Abstract. Software must be constantly adapted to changing requirehe time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation t...
Oscar Nierstrasz, Marcus Denker, Lukas Renggli
FATES
2003
Springer
15 years 4 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
C5
2005
IEEE
15 years 4 months ago
Suggestions for New Features to Support Collaborative Learning in Virtual Worlds
The authors have some experience in building virtual worlds for education purposes, in archaeology and for language learning. However, many mainstream world-building applications ...
Erik Champion, Sachiyo Sekiguchi
DAC
2007
ACM
15 years 3 months ago
Memory Modeling in ESL-RTL Equivalence Checking
When designers create RTL models from a system-level specification, arrays in the system-level model are often implemented as memories in the RTL. Knowing the correspondence betwe...
Alfred Kölbl, Jerry R. Burch, Carl Pixley