Search Sciweavers | Sciweavers

15799 search results - page 369 / 3160

» Software engineering: a roadmap

135

click to vote

TACS
1991
Springer

99views Software Engineering» more TACS 1991»

An Abstract Interpretation for ML Equality Kinds

15 years 10 months ago

Download www.ircs.upenn.edu

Carl A. Gunter, Elsa L. Gunter, David B. MacQueen

claim paper

Read More »

141

click to vote

FSEN
2009
Springer

124views Software Engineering» more FSEN 2009»

Typing Asymmetric Client-Server Interaction

15 years 10 months ago

Download www.di.unito.it

Franco Barbanera, Sara Capecchi, Ugo de'Liguoro

claim paper

Read More »

115

Voted

AOSD
2008
ACM

106views Software Engineering» more AOSD 2008»

Relational aspects as tracematches

15 years 8 months ago

Download www.bodden.de

Eric Bodden, Reehan Shaikh, Laurie J. Hendren

claim paper

Read More »

128

click to vote

ARCS
2008
Springer

124views Software Engineering» more ARCS 2008»

A Hardware Packet Re-Sequencer Unit for Network Processors

15 years 8 months ago

Download arcs08.inf.tu-dresden.de

Michael Meitinger, Rainer Ohlendorf, Thomas Wild, ...

claim paper

Read More »

117

click to vote

ICSE
2010
IEEE-ACM

142views Software Engineering» more ICSE 2010»

Precise calling context encoding

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers