Search Sciweavers | Sciweavers

4211 search results - page 37 / 843

» A formal approach to MASQ

116

click to vote

GLVLSI
1999
IEEE

81views VLSI» more GLVLSI 1999»

A Hierarchical Approach to the Formal Verification of Embedded Systems Using MDGs

15 years 10 months ago

Download users.encs.concordia.ca

Subhashini Balakrishnan, Sofiène Tahar

claim paper

Read More »

153

click to vote

TOOLS
1999
IEEE

84views Programming Languages» more TOOLS 1999»

A Formal Software Development Approach Based on COOZ and Refinement Calculus

15 years 10 months ago

Download satoss.uni.lu

Yunfeng Wang, Bixin Li, Jun Pang, Ming Zha, Guolia...

claim paper

Read More »

119

click to vote

PDIS
1993
IEEE

98views Distributed And Parallel Com...» more PDIS 1993»

A Formal Approach to the Vertical Partitioning Problem in Distributed Database Design

15 years 10 months ago

Download itlab.uta.edu

Jaykumar Muthuraj, Sharma Chakravarthy, Ravi Varad...

claim paper

Read More »

138

click to vote

VLDB
1993
ACM

104views Database» more VLDB 1993»

Towards a Formal Approach for Object Database Design

15 years 10 months ago

Download www.vldb.org

Pascal Poncelet, Maguelonne Teisseire, Rosine Cicc...

claim paper

Read More »

136

click to vote

DSD
2004
IEEE

97views Hardware» more DSD 2004»

Techniques for Formal Verification of Digital Systems: A System Approach

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers