592 search results - page 80 / 119 » CTL Model Update: Semantics, Computations and Implementation |
DAC
2005
ACM
14 years 11 months ago
2005
ACM
Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations create...
VLDB
1995
ACM
14 years 1 months ago
1995
ACM
Applications in finance and telecommunications (intelligent network, network management, mobile computing) cause renewed interest in distributed and replicated data management. Si...
ASPLOS
2006
ACM
14 years 4 months ago
2006
ACM
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
DSN
2009
IEEE
14 years 4 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...
CONCUR
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...