Search Sciweavers | Sciweavers

9443 search results - page 17 / 1889

» Web-centric language models

110

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

15 years 10 months ago

Download www.sigada.org

Ravi K. Gedela, Sol M. Shatz, Haiping Xu

claim paper

Read More »

110

click to vote

IFIP
1998
Springer

69views Programming Languages» more IFIP 1998»

An extended manufacturing management model: control principles and aspects in production networks

15 years 10 months ago

Download www.sintef.no

J. O. Stranshagen, H. Dreyer, E. Borgen

claim paper

Read More »

173

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Gian Luca Cattani, Ian Stark, Glynn Winskel

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers