655 search results - page 57 / 131 » Coinduction in Concurrent Timed Systems |
118
click to vote
CASES
2005
ACM
15 years 1 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...
124
click to vote
DAC
2000
ACM
16 years 25 days ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
ENTCS
2007
14 years 11 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
ISMAR
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a system that allows online building of 3D wireframe models through a combination of user interaction and automated methods from a handheld camera-mouse. Cruci...
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...