Search Sciweavers | Sciweavers

6581 search results - page 52 / 1317

» Formalizing Design Patterns

120

click to vote

VLDB
1993
ACM

104views Database» more VLDB 1993»

Towards a Formal Approach for Object Database Design

15 years 8 months ago

Download www.vldb.org

Pascal Poncelet, Maguelonne Teisseire, Rosine Cicc...

claim paper

Read More »

118

click to vote

ICFEM
2007
Springer

76views Software Engineering» more ICFEM 2007»

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

15 years 8 months ago

Download www.dasmod.de

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

claim paper

Read More »

click to vote

EMSOFT
2006
Springer

97views Software Engineering» more EMSOFT 2006»

Formal performance evaluation of AMBA-based system-on-chip designs

15 years 8 months ago

Download www.ics.uci.edu

Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen,...

claim paper

Read More »

click to vote

DAC
2005
ACM

93views Computer Architecture» more DAC 2005»

Streamline verification process with formal property verification to meet highly compressed design cycle

15 years 6 months ago

Download videos.dac.com

Prosenjit Chatterjee

claim paper

Read More »

101

click to vote

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers