Sciweavers

15784 search results - page 372 / 3157
» Mega Software Engineering
Sort
View
TACS
1991
Springer
15 years 10 months ago
An Abstract Interpretation for ML Equality Kinds
Carl A. Gunter, Elsa L. Gunter, David B. MacQueen
FSEN
2009
Springer
15 years 10 months ago
Typing Asymmetric Client-Server Interaction
Franco Barbanera, Sara Capecchi, Ugo de'Liguoro
115
Voted
AOSD
2008
ACM
15 years 8 months ago
Relational aspects as tracematches
Eric Bodden, Reehan Shaikh, Laurie J. Hendren
ARCS
2008
Springer
15 years 8 months ago
A Hardware Packet Re-Sequencer Unit for Network Processors
Michael Meitinger, Rainer Ohlendorf, Thomas Wild, ...
ICSE
2010
IEEE-ACM
15 years 8 months ago
Precise calling context encoding
William N. Sumner, Yunhui Zheng, Dasarath Weeratun...