Sciweavers

15727 search results - page 113 / 3146

» Software Engineering - Introduction

123

WOSP
2004
ACM

95views Software Engineering» more WOSP 2004»

Rapid performance prediction for library components

15 years 10 months ago

Rapid performance prediction for library components

Download www.osl.iu.edu

Sibylle Schupp, Marcin Zalewski, Kyle Ross

claim paper

Read More »

115

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 10 months ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

108

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Patterns of self-management

15 years 10 months ago

Patterns of self-management

Download www.cs.cmu.edu

David S. Wile

claim paper

Read More »

100

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 10 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

100

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 10 months ago

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

Download www.lisyc.univ-brest.fr

Damien Massé

claim paper

Read More »

« Prev « First page 113 / 3146 Last » Next »