Search Sciweavers | Sciweavers

16725 search results - page 400 / 3345

» Engineering Software Correctness

122

Voted

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

15 years 10 months ago

Download www.kroening.com

Edmund M. Clarke, Daniel Kroening, Joël Ouakn...

claim paper

Read More »

115

click to vote

CGO
2010
IEEE

149views Software Engineering» more CGO 2010»

Coloring-based coalescing for graph coloring register allocation

15 years 10 months ago

Download www.cgo.org

Rei Odaira, Takuya Nakaike, Tatsushi Inagaki, Hide...

claim paper

Read More »

click to vote

WOSP
2010
ACM

125views Software Engineering» more WOSP 2010»

A markovian futures market for computing power

15 years 10 months ago

Download www.spec.org

Fernando Martínez Ortuño, Uli Harder...

claim paper

Read More »

102

Voted

WOSP
2010
ACM

141views Software Engineering» more WOSP 2010»

Resource demand modeling for multi-tier services

15 years 10 months ago

Download www.spec.org

Jerry Rolia, Amir Kalbasi, Diwakar Krishnamurthy, ...

claim paper

Read More »

109

click to vote

APSEC
2003
IEEE

124views Software Engineering» more APSEC 2003»

Security-Critical System Development with Extended Use Cases

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers