Search Sciweavers | Sciweavers

9507 search results - page 38 / 1902

» Time-based language models

139

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 »

155

click to vote

UML
1997
Springer

267views Natural Language Processing» more UML 1997»

Business Process Modeling with EPC and UML: Transformation or Integration?

15 years 10 months ago

Download www.wiso.uni-hamburg.de

Markus Nüttgens, Thomas Feld, Volker Zimmerma...

claim paper

Read More »

114

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 »

121

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 »

138

click to vote

ESOP
2008
Springer

120views Programming Languages» more ESOP 2008»

The Conversation Calculus: A Model of Service-Oriented Computation

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers