899 search results - page 100 / 180 » A Temporal Language for SystemC |
100
click to vote
FORTE
2003
15 years 2 months ago
2003
VoiceXML (Voice Extended Markup Language) has become a major force in interactive voice services. However current approaches to creating VoiceXML services are rather low-level. Gra...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
100
click to vote
ENTCS
2007
15 years 1 months ago
2007
We propose to use a formal specification language as a high-level hardware description language. Formal languages allow for compact, unambiguous representations and yield designs...
JANCL
2000
15 years 1 months ago
2000
Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion o...
111
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...