Search Sciweavers | Sciweavers

11214 search results - page 136 / 2243

» Programming Multi-agent Systems

151

click to vote

SIGADA
1998
Springer

133views Programming Languages» more SIGADA 1998»

An ASIS-Based Static Analysis Tool for High-Integrity Systems

15 years 10 months ago

Download www.adastat.com

William W. Pritchett IV, John D. Riley

claim paper

Read More »

115

click to vote

SIGADA
1998
Springer

81views Programming Languages» more SIGADA 1998»

A Large Distributed Control System Using Ada in Fusion Research

15 years 10 months ago

Download www-group.slac.stanford.edu

John P. Woodruff, Paul J. Van Arsdall

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 »

131

click to vote

POS
1994
Springer

87views Programming Languages» more POS 1994»

Semantic Synchronization in a Persistent Object System Library

15 years 10 months ago

Download www.cs.colorado.edu

Andrea H. Skarra, Naser S. Barghouti, Alexander L....

claim paper

Read More »

116

click to vote

IFIP
2000
Springer

122views Programming Languages» more IFIP 2000»

A Methodology for Complex Embedded Systems Design: Petri Nets within a UML Approach

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers