894 search results - page 103 / 179 » Optimizations for LTL Synthesis |
96
Voted
BC
2005
15 years 19 days ago
2005
Recent experiments on frogs and rats, have led to the hypothesis that sensory-motor systems are organized into a finite number of linearly combinable modules; each module generates...
122
click to vote
SIGPRO
2002
15 years 11 days ago
2002
This paper describes newly invented multiscale transforms known under the name of the ridgelet [6] and the curvelet transforms [9, 8]. These systems combine ideas of multiscale an...
119
click to vote
ASPDAC
2008
ACM
15 years 2 months ago
2008
ACM
Abstract-- Increasing delay and power variation are significant challenges to the designers as technology scales to the deep sub-micron (DSM) regime. Traditional module selection t...
85
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
111
Voted
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens...