Search Sciweavers | Sciweavers

3667 search results - page 15 / 734

» Software Rejuvenation - Modeling and Analysis

click to vote

ISSTA
1996
ACM

92views Software Engineering» more ISSTA 1996»

Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs

15 years 7 months ago

Download laser.cs.umass.edu

A. T. Chamillard, Lori A. Clarke

claim paper

Read More »

Voted

ISSTA
1996
ACM

106views Software Engineering» more ISSTA 1996»

An Efficient State Space Generation for Analysis of Real-Time Systems

15 years 7 months ago

Download ftp.cis.upenn.edu

Inhye Kang, Insup Lee

claim paper

Read More »

105

click to vote

LCPC
1997
Springer

130views System Software» more LCPC 1997»

Analysis and Optimization of Explicitly Parallel Programs Using the Parallel Program Graph Representation

15 years 7 months ago

Download www.cs.rice.edu

Vivek Sarkar

claim paper

Read More »

click to vote

APSEC
2004
IEEE

63views Software Engineering» more APSEC 2004»

Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis

15 years 7 months ago

Download kaiya.cs.shinshu-u.ac.jp

Haruhiko Kaiya, Motoshi Saeki

claim paper

Read More »

105

click to vote

CGO
2004
IEEE

101views Software Engineering» more CGO 2004»

LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers