Sciweavers

15636 search results - page 406 / 3128

» Modelling by supersaturated designs

158

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

15 years 10 months ago

From Model-Based Design to Formal Verification of Adaptive Embedded Systems

Download www.dasmod.de

Rasmus Adler, Ina Schaefer, Tobias Schüle, Er...

claim paper

Read More »

134

AI
2004
Springer

111views Artificial Intelligence» more AI 2004»

A Decision-Theoretic Graphical Model for Collaborative Design on Supply Chains

15 years 10 months ago

A Decision-Theoretic Graphical Model for Collaborative Design on Supply Chains

Download www.cis.uoguelph.ca

Yang Xiang, Junjiang Chen, Abhi Deshmukht

claim paper

Read More »

143

ATS
2001
IEEE

74views Hardware» more ATS 2001»

An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model

15 years 10 months ago

An Improved AVPG Algorithm for SoC Design Verification Using Port Order Fault Model

Download nthucad.cs.nthu.edu.tw

Chun-Yao Wang, Shing-Wu Tung, Jing-Yang Jou

claim paper

Read More »

154

COMPSAC
2001
IEEE

133views Software Engineering» more COMPSAC 2001»

JBOORET: an Automated Tool to Recover OO Design and Source Models

15 years 10 months ago

JBOORET: an Automated Tool to Recover OO Design and Source Models

Download people.engr.ncsu.edu

Hong Mei, Tao Xie, Fuqing Yang

claim paper

Read More »

230

EURODAC
1994
IEEE

148views VHDL» more EURODAC 1994»

System-Level Modeling and Verification: a Comprehensive Design Methodology

15 years 10 months ago

System-Level Modeling and Verification: a Comprehensive Design Methodology

Download www.cad.polito.it

Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...

claim paper

Read More »

« Prev « First page 406 / 3128 Last » Next »