Search Sciweavers | Sciweavers

15635 search results - page 417 / 3127

» Modelling and Design of VAML

133

click to vote

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

Download www.cis.uoguelph.ca

Yang Xiang, Junjiang Chen, Abhi Deshmukht

claim paper

Read More »

142

click to vote

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

Download nthucad.cs.nthu.edu.tw

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

claim paper

Read More »

151

click to vote

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

Download people.engr.ncsu.edu

Hong Mei, Tao Xie, Fuqing Yang

claim paper

Read More »

226

click to vote

EURODAC
1994
IEEE

148views VHDL» more EURODAC 1994»

System-Level Modeling and Verification: a Comprehensive Design Methodology

15 years 10 months ago

Download www.cad.polito.it

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

claim paper

Read More »

139

click to vote

VLDB
1987
ACM

85views Database» more VLDB 1987»

Using Design Axioms and Topology to Model Database Semantics

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers