Sciweavers

18898 search results - page 180 / 3780

» The Making of a Software Engineer

146

WOSP
2004
ACM

95views Software Engineering» more WOSP 2004»

Rapid performance prediction for library components

15 years 12 months ago

Rapid performance prediction for library components

Download www.osl.iu.edu

Sibylle Schupp, Marcin Zalewski, Kyle Ross

claim paper

Read More »

131

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 12 months ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

126

WOSS
2004
ACM

120views Software Engineering» more WOSS 2004»

Patterns of self-management

15 years 12 months ago

Patterns of self-management

Download www.cs.cmu.edu

David S. Wile

claim paper

Read More »

124

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 12 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

125

AMAST
2004
Springer

125views Software Engineering» more AMAST 2004»

Abstract Domains for Property Checking Driven Analysis of Temporal Properties

15 years 12 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 180 / 3780 Last » Next »