Search Sciweavers | Sciweavers

4166 search results - page 119 / 834

» A modular module system

165

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 10 months ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

157

click to vote

APCSAC
2005
IEEE

166views Computer Architecture» more APCSAC 2005»

Modularized Redundant Parallel Virtual File System

15 years 8 months ago

Download www.nsc.gov.tw

Sheng-Kai Hung, Yarsun Hsu

claim paper

Read More »

108

click to vote

ASPDAC
2005
ACM

83views Hardware» more ASPDAC 2005»

Abstracting functionality for modular performance analysis of hard real-time systems

15 years 8 months ago

Download www.artist-embedded.org

Ernesto Wandeler, Lothar Thiele

claim paper

Read More »

118

click to vote

DAGSTUHL
2006

121views Software Engineering» more DAGSTUHL 2006»

Using Abstraction in Modular Verification of Synchronous Adaptive Systems

15 years 7 months ago

Download drops.dagstuhl.de

Ina Schaefer, Arnd Poetzsch-Heffter

claim paper

Read More »

125

click to vote

FLAIRS
2000

88views Artificial Intelligence» more FLAIRS 2000»

Producing Modular Hybrid Rule Bases for Expert Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers