Sciweavers

15727 search results - page 113 / 3146

» Software Engineering - Introduction

109

Voted

WOSP
2004
ACM

95views Software Engineering» more WOSP 2004»

Rapid performance prediction for library components

15 years 8 months ago

Rapid performance prediction for library components

Download www.osl.iu.edu

Sibylle Schupp, Marcin Zalewski, Kyle Ross

claim paper

Read More »

95

Voted

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 8 months ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

89

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Patterns of self-management

15 years 8 months ago

Patterns of self-management

Download www.cs.cmu.edu

David S. Wile

claim paper

Read More »

81

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 8 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

83

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 8 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 »