Search Sciweavers | Sciweavers

9974 search results - page 238 / 1995

» Software Interconnection Models

123

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 12 months ago

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

134

click to vote

GG
2004
Springer

109views Theoretical Computer Science» more GG 2004»

Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions

15 years 12 months ago

Download www.foibg.com

Reiko Heckel, Tom Mens

claim paper

Read More »

136

click to vote

IFIP
2004
Springer

90views Programming Languages» more IFIP 2004»

Software Rejuvenation - Modeling and Analysis

15 years 12 months ago

Download www.crhc.illinois.edu

Kishor S. Trivedi, Kalyanaraman Vaidyanathan

claim paper

Read More »

146

click to vote

IFM
2004
Springer

74views Formal Methods» more IFM 2004»

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

15 years 12 months ago

Download www.iist.unu.edu

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi

claim paper

Read More »

130

click to vote

FIDJI
2003
Springer

70views Distributed And Parallel Com...» more FIDJI 2003»

Software Model Engineering and Reuse with the Evolution and Validation Environment

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers