899 search results - page 133 / 180 » A Temporal Language for SystemC |
129
click to vote
HASE
1999
IEEE
15 years 5 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
130
click to vote
BIRTHDAY
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...
117
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...
123
click to vote
FSTTCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
We consider a general class of timed automata parameterized by a set of "input-determined" operators, in a continuous time setting. We show that for any such set of opera...