1524 search results - page 154 / 305 » Operational Semantics of Hybrid Systems |
282
click to vote
Book
"Scheme is a general-purpose computer programming language. It is a high-level language, supporting operations on structured data such as strings, lists, and vectors, as well ...
DCC
2008
IEEE
15 years 9 months ago
2008
IEEE
We studied the problem of distributed coding and transmission of intercorrelated sources with memory. Different from the conventional distributed source coding structure which rel...
WORDS
2003
IEEE
15 years 3 months ago
2003
IEEE
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...
ASPDAC
2007
ACM
15 years 2 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...
129
click to vote
HAIS
2011
Springer
14 years 1 months ago
2011
Springer
The modelling of real-world complex systems is an area of ongoing interest for the research community. Real-world systems present a variety of challenges not least of which is the ...