Search Sciweavers | Sciweavers

10182 search results - page 210 / 2037

» Case Studies

177

click to vote

HICSS
1996
IEEE

123views Biometrics» more HICSS 1996»

Concurrency: A Case Study in Remote Tasking and Distributed IPC

15 years 10 months ago

Download www.hpl.hp.com

Remote tasking encompasses different functionality, such as remote forking, multiple remote spawning, and task migration. In order to overcome the relatively high costs of these m...

Dejan S. Milojicic, Alan Langerman, David L. Black...

claim paper

Read More »

131

click to vote

CAV
1997
Springer

81views Hardware» more CAV 1997»

STARI: A Case Study in Compositional and Hierarchical Timing Verification

15 years 10 months ago

Download network.ku.edu.tr

Serdar Tasiran, Robert K. Brayton

claim paper

Read More »

148

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

Download hal.archives-ouvertes.fr

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

claim paper

Read More »

120

click to vote

ERCIMDL
1997
Springer

108views Education» more ERCIMDL 1997»

Automating the Construction of Authority Files in Digital Libraries: A Case Study

15 years 10 months ago

Download www.cs.virginia.edu

James C. French, Allison L. Powell, Eric Schulman,...

claim paper

Read More »

144

click to vote

RTSS
1996
IEEE

95views Control Systems» more RTSS 1996»

Correctness of vehicle control systems-a case study

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers