16 search results - page 2 / 4 » Procedure exlining: a new system-level specification transfo... |
ICCAD
1999
IEEE
13 years 9 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
ECTEL
2008
Springer
2008
Springer
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
13 years 6 months ago
Developing a learning design using IMS Learning Design (LD) is difficult for average practitioners because a high overhead of pedagogical knowledge and technical knowledge is requi...
BMCBI
2008
13 years 4 months ago
2008
Background: Quasi-steady state approximation (QSSA) based on time-scale analysis is known to be an effective method for simplifying metabolic reaction system, but the conventional...
ICCAD
1996
IEEE
13 years 8 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
CORR
2008
Springer
13 years 4 months ago
2008
Springer
We investigate a biologically motivated approach to fast visual classification, directly inspired by the recent work [13]. Specifically, trading-off biological accuracy for comput...