Search Sciweavers | Sciweavers

10072 search results - page 226 / 2015

» Composition of Model Programs

149

click to vote

ASPLOS
1996
ACM

103views Programming Languages» more ASPLOS 1996»

An Evaluation of Memory Consistency Models for Shared-Memory Systems with ILP Processors

15 years 10 months ago

Download www.hpl.hp.com

Vijay S. Pai, Parthasarathy Ranganathan, Sarita V....

claim paper

Read More »

123

click to vote

SIGADA
1994
Springer

99views Programming Languages» more SIGADA 1994»

Structural Model: Architecture for Software Designers

15 years 10 months ago

Download www.crispen.org

Robert G. Crispen, Lynn D. Stuckey Jr.

claim paper

Read More »

132

click to vote

POPL
1992
ACM

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

15 years 10 months ago

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

claim paper

Read More »

151

click to vote

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 8 months ago

Download ctp.di.fct.unl.pt

Hugo Torres Vieira, Luís Caires, Joã...

claim paper

Read More »

142

click to vote

TON
2012

195views Programming Languages» more TON 2012»

Caching for BitTorrent-Like P2P Systems: A Simple Fluid Model and Its Implications

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers