Search Sciweavers | Sciweavers

9443 search results - page 17 / 1889

» Web-centric language models

click to vote

SIGADA
1999
Springer

89views Programming Languages» more SIGADA 1999»

Formal modeling of synchronization methods for concurrent objects in Ada 95

13 years 12 months ago

Download www.sigada.org

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

claim paper

Read More »

click to vote

IFIP
1998
Springer

69views Programming Languages» more IFIP 1998»

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

13 years 12 months ago

Download www.sintef.no

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

claim paper

Read More »

click to vote

CTCS
1997
Springer

185views Programming Languages» more CTCS 1997»

Presheaf Models for the pi-Calculus

13 years 11 months ago

Download homepages.inf.ed.ac.uk

Gian Luca Cattani, Ian Stark, Glynn Winskel

claim paper

Read More »

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

13 years 11 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

click to vote

UML
1997
Springer

267views Natural Language Processing» more UML 1997»

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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers