Search Sciweavers | Sciweavers

6581 search results - page 52 / 1317

» Formalizing Design Patterns

103

click to vote

VLDB
1993
ACM

104views Database» more VLDB 1993»

Towards a Formal Approach for Object Database Design

15 years 6 months ago

Download www.vldb.org

Pascal Poncelet, Maguelonne Teisseire, Rosine Cicc...

claim paper

Read More »

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 6 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 6 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 4 months ago

Download videos.dac.com

Prosenjit Chatterjee

claim paper

Read More »

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 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers