Search Sciweavers | Sciweavers

15787 search results - page 329 / 3158

» Is Software Engineering Training Enough for Software Enginee...

128

click to vote

TMRA
2005
Springer

90views Software Engineering» more TMRA 2005»

Subject Centric IT in Local Government

16 years 4 days ago

Download www.knowledge-synergy.com

Gabriel Hopmans, Peter-Paul Kruijsen, Roger Dols

claim paper

Read More »

127

click to vote

VMCAI
2005
Springer

101views Software Engineering» more VMCAI 2005»

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists

16 years 4 days ago

Download www.cs.tau.ac.il

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Sh...

claim paper

Read More »

133

click to vote

VMCAI
2005
Springer

81views Software Engineering» more VMCAI 2005»

Verifying Safety of a Token Coherence Implementation by Parametric Compositional Refinement

16 years 4 days ago

Download www.cis.upenn.edu

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Mart...

claim paper

Read More »

125

click to vote

VMCAI
2005
Springer

93views Software Engineering» more VMCAI 2005»

Abstract Interpretation with Alien Expressions and Heap Structures

16 years 4 days ago

Download www.cs.colorado.edu

Bor-Yuh Evan Chang, K. Rustan M. Leino

claim paper

Read More »

154

click to vote

VMCAI
2005
Springer

65views Software Engineering» more VMCAI 2005»

Scalable Analysis of Linear Systems Using Mathematical Programming

16 years 4 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers