Sciweavers

3 search results - page 1 / 1

» larch 1992

90

LARCH
1992

115views Formal Methods» more LARCH 1992»

Thoughts on a Larch/ML and a New Application for LP

15 years 7 months ago

Thoughts on a Larch/ML and a New Application for LP

Download www.cs.cmu.edu

Jeannette M. Wing, Eugene J. Rollins, Amy Moormann...

claim paper

Read More »

131

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 7 months ago

Using Transformations and Verification in Circuit Design

Download www.hpl.hp.com

James B. Saxe, John V. Guttag, James J. Horning, S...

claim paper

Read More »

151

ISTCS
1992
Springer

115views Applied Computing» more ISTCS 1992»

Concurrent Timestamping Made Simple

15 years 6 months ago

Concurrent Timestamping Made Simple

Download groups.csail.mit.edu

Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...

Rainer Gawlick, Nancy A. Lynch, Nir Shavit

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »