Tame | Sciweavers

41

ASE
2002

160views more ASE 2002»

Proving Invariants of I/O Automata with TAME

13 years 11 months ago

This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...

Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...

claim paper

Read More »

30

click to vote

JSYML
2006

61views more JSYML 2006»

Shelah's categoricity conjecture from a successor for tame abstract elementary classes

13 years 11 months ago

Download www.math.cmu.edu

R FOR TAME ABSTRACT ELEMENTARY CLASSES RAMI GROSSBERG AND MONICA VANDIEREN We prove a categoricity transfer theorem for tame abstract elementary classes.

Rami P. Grossberg, Monica Van Dieren

claim paper

Read More »

28

click to vote

USENIX
2007

131views Operating System» more USENIX 2007»

Events Can Make Sense

14 years 1 months ago

Download www.cs.ucla.edu

Tame is a new event-based system for managing concurrency in network applications. Code written with Tame abstractions does not suffer from the “stackripping” problem associat...

Maxwell N. Krohn, Eddie Kohler, M. Frans Kaashoek

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers