Sciweavers

1260 search results - page 86 / 252
» OpenJ: An Extensible System Level Design Language
Sort
View
ICFP
2008
ACM
15 years 9 months ago
HMF: simple type inference for first-class polymorphism
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
Daan Leijen
DATE
1998
IEEE
107views Hardware» more  DATE 1998»
15 years 2 months ago
A Flexible Message Passing Mechanism for Objective VHDL
When defining an object-oriented extension to VHDL, the necessary message passing is one of the most complex issues and has a large impact on the whole language. This paper identi...
Wolfram Putzke-Röming, Martin Radetzki, Wolfg...
FDL
2003
IEEE
15 years 3 months ago
Analog Circuit Modeling in SystemC
This paper proposes a methodology for the extension of SystemC to mixed signal systems. An oscillator made up of an inverter chain has been used to test the accuracy and stability...
Massimo Conti, Marco Caldari, Simone Orcioni, Gior...
SLE
2009
Springer
15 years 4 months ago
A Role-Based Approach towards Modular Language Engineering
Modularisation can reduce the effort in designing and maintaining language specifications. Existing approaches to language modularisation are typically either focused on language ...
Christian Wende, Nils Thieme, Steffen Zschaler
GECCO
2004
Springer
145views Optimization» more  GECCO 2004»
15 years 3 months ago
Search Based Automatic Test-Data Generation at an Architectural Level
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...
Yuan Zhan, John A. Clark