4485 search results - page 122 / 897 » Equivalences on Observable Processes |
MICRO
2005
IEEE
14 years 3 months ago
2005
IEEE
Clustered machines partition hardware resources to circumvent the cycle time penalties incurred by large, monolithic structures. This partitioning introduces a long inter-cluster ...
FUIN
2006
13 years 10 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
DSD
2010
IEEE
13 years 8 months ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
FOSSACS
2007
Springer
14 years 4 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
We present a novel method to model and estimate elastic geometric deformations of an observed object, whether they are caused by the object’s own dynamic behavior, or by the dyn...