533 search results - page 11 / 107 » Protocol synthesis from timed and structured specifications |
HICSS
2007
IEEE
15 years 3 months ago
2007
IEEE
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents the novel idea of multi-placement structures, for a fast and optimized placement instantiation in analog circuit synthesis. These structures need to be generat...
101
click to vote
IFIP
1992
Springer
15 years 1 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
87
Voted
ISORC
2002
IEEE
15 years 2 months ago
2002
IEEE
Preemption threshold scheduling (PTS) provides prominent benefits for fixed priority scheduling such as increased schedulability, reduced context switches, and decreased memory re...
VISUALIZATION
1997
IEEE
15 years 1 months ago
1997
IEEE
We present an image synthesis methodology and a system built around it. Given a sparse set of photographs taken from unknown viewpoints, the system generates images from new, diff...