Search Sciweavers | Sciweavers

9974 search results - page 238 / 1995

» Software Interconnection Models

133

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

16 years 14 days ago

Download research.microsoft.com

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

claim paper

Read More »

146

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

16 years 14 days ago

Download www.foibg.com

Reiko Heckel, Tom Mens

claim paper

Read More »

144

click to vote

IFIP
2004
Springer

90views Programming Languages» more IFIP 2004»

Software Rejuvenation - Modeling and Analysis

16 years 13 days ago

Download www.crhc.illinois.edu

Kishor S. Trivedi, Kalyanaraman Vaidyanathan

claim paper

Read More »

159

click to vote

IFM
2004
Springer

74views Formal Methods» more IFM 2004»

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

16 years 13 days ago

Download www.iist.unu.edu

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

claim paper

Read More »

149

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

16 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers