Search Sciweavers | Sciweavers

16541 search results - page 400 / 3309

» Ontologies and Software Engineering

133

click to vote

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 28 days ago

Download ti.arc.nasa.gov

Howard Barringer, Allen Goldberg, Klaus Havelund, ...

claim paper

Read More »

156

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 28 days ago

Download www.kroening.com

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

claim paper

Read More »

160

click to vote

CGO
2010
IEEE

149views Software Engineering» more CGO 2010»

Coloring-based coalescing for graph coloring register allocation

16 years 27 days ago

Download www.cgo.org

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

claim paper

Read More »

137

Voted

WOSP
2010
ACM

125views Software Engineering» more WOSP 2010»

A markovian futures market for computing power

16 years 27 days ago

Download www.spec.org

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

claim paper

Read More »

140

Voted

WOSP
2010
ACM

141views Software Engineering» more WOSP 2010»

Resource demand modeling for multi-tier services

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers