Search Sciweavers | Sciweavers

15974 search results - page 317 / 3195

» Object-Oriented Software Engineering

131

Voted

ADAEUROPE
2010
Springer

246views Software Engineering» more ADAEUROPE 2010»

Program Verification in SPARK and ACSL: A Comparative Case Study

15 years 4 months ago

Download www.disca.upv.es

Eduardo Brito, Jorge Sousa Pinto

claim paper

Read More »

137

click to vote

ADAEUROPE
2010
Springer

232views Software Engineering» more ADAEUROPE 2010»

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

15 years 4 months ago

Download www.disca.upv.es

Sergio Saez, Alfons Crespo

claim paper

Read More »

121

click to vote

FSTTCS
2010
Springer

111views Software Engineering» more FSTTCS 2010»

A graph polynomial for independent sets of bipartite graphs

15 years 4 months ago

Download www.cse.buffalo.edu

Qi Ge, Daniel Stefankovic

claim paper

Read More »

123

click to vote

FSTTCS
2010
Springer

133views Software Engineering» more FSTTCS 2010»

Quasi-Random PCP and Hardness of 2-Catalog Segmentation

15 years 4 months ago

Download www.cs.princeton.edu

Rishi Saket

claim paper

Read More »

145

click to vote

IWPSE
2010
IEEE

117views Software Engineering» more IWPSE 2010»

Feature oriented evolutions for context-aware adaptive systems

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers