462 search results - page 25 / 93 » Symbolic Bounded Synthesis |
101
click to vote
DCC
2010
IEEE
15 years 8 months ago
2010
IEEE
It is known that modeling an information source via a symbolic dynamical system evolving over the unit interval, leads to a natural lossless compression scheme attaining the entro...
132
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...
113
Voted
LCTRTS
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
119
Voted
CC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
120
Voted
ASPDAC
2007
ACM
15 years 5 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...