Sciweavers

16 search results - page 2 / 4
» Procedure exlining: a new system-level specification transfo...
Sort
View
ICCAD
1999
IEEE
125views Hardware» more  ICCAD 1999»
14 years 3 months ago
Direct synthesis of timed asynchronous circuits
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 ...
Sung Tae Jung, Chris J. Myers
ECTEL
2008
Springer
14 years 16 days ago
Bridging the Gap between Practitioners and E-Learning Standards: A Domain-Specific Modeling Approach
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...
Yongwu Miao, Tim Sodhi, Francis Brouns, Peter B. S...
BMCBI
2008
242views more  BMCBI 2008»
13 years 11 months ago
New time-scale criteria for model simplification of bio-reaction systems
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...
Junwon Choi, Kyung-won Yang, Tai-yong Lee, Sang Yu...
ICCAD
1996
IEEE
93views Hardware» more  ICCAD 1996»
14 years 2 months ago
VERILAT: verification using logic augmentation and transformations
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 ...
Dhiraj K. Pradhan, Debjyoti Paul, Mitrajit Chatter...
CORR
2008
Springer
170views Education» more  CORR 2008»
13 years 10 months ago
Fast Wavelet-Based Visual Classification
We investigate a biologically motivated approach to fast visual classification, directly inspired by the recent work [13]. Specifically, trading-off biological accuracy for comput...
Guoshen Yu, Jean-Jacques E. Slotine