Search Sciweavers | Sciweavers

15784 search results - page 334 / 3157

» Mega Software Engineering

162

click to vote

FASE
2004
Springer

103views Software Engineering» more FASE 2004»

A Systematic Methodology for Developing Component Frameworks

16 years 24 days ago

Download soft.ssu.ac.kr

Si Won Choi, Soo Ho Chang, Soo Dong Kim

claim paper

Read More »

131

Voted

VMCAI
2004
Springer

92views Software Engineering» more VMCAI 2004»

Rule-Based Runtime Verification

16 years 23 days ago

Download ti.arc.nasa.gov

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

claim paper

Read More »

155

click to vote

VMCAI
2004
Springer

93views Software Engineering» more VMCAI 2004»

Completeness and Complexity of Bounded Model Checking

16 years 23 days ago

Download www.kroening.com

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

claim paper

Read More »

157

click to vote

CGO
2010
IEEE

149views Software Engineering» more CGO 2010»

Coloring-based coalescing for graph coloring register allocation

16 years 22 days ago

Download www.cgo.org

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

claim paper

Read More »

135

click to vote

WOSP
2010
ACM

125views Software Engineering» more WOSP 2010»

A markovian futures market for computing power

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers