5409 search results - page 853 / 1082 » Basic Observables for Processes |
120
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
143
click to vote
PDP
2006
IEEE
15 years 10 months ago
2006
IEEE
— The Parallel Resource-Optimal (PRO) computation model was introduced by Gebremedhin et al. [2002] as a framework for the design and analysis of efficient parallel algorithms. ...
119
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
— Sakurai-Newton (SN) delay metric [1] is a widely used closed form delay metric for CMOS gates because of simplicity and reasonable accuracy. Nevertheless it can be shown that t...
113
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
145
click to vote
CSCW
2006
ACM
15 years 10 months ago
2006
ACM
Mixed Reality Architecture (MRA) supports distributed teams in their everyday work activities by linking multiple physical spaces across a shared three-dimensional virtual world. ...