Search Sciweavers | Sciweavers

29172 search results - page 417 / 5835

» Modeling Systems in CLP

144

click to vote

COMPOS
1997
Springer

122views Formal Methods» more COMPOS 1997»

Modeling Urgency in Timed Systems

15 years 11 months ago

Download www-verimag.imag.fr

Sébastien Bornot, Joseph Sifakis, Stavros T...

claim paper

Read More »

156

click to vote

COORDINATION
1997
Springer

98views Distributed And Parallel Com...» more COORDINATION 1997»

Modeling Railway Control Systems Using Graph Grammars: A Case Study

15 years 11 months ago

Download hal.archives-ouvertes.fr

A. A. Holzbacher, M. Périn, Mario Südh...

claim paper

Read More »

158

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 11 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

139

click to vote

LSSC
1997
Springer

98views Applied Computing» more LSSC 1997»

The ETA Model Operational Forecasting System and its Parallel Implementation

15 years 11 months ago

Download www.aegean.gr

G. Kallos, S. Nickovic, D. Jovic, O. Kakaliagou, A...

claim paper

Read More »

141

click to vote

UML
1997
Springer

109views Natural Language Processing» more UML 1997»

Using UML for Business Object Based Systems Modeling

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers