828 search results - page 124 / 166 » Modularity for Timed and Hybrid Systems |
131
click to vote
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
An architecture is described for designing systems that acquire and manipulate large amounts of unsystematized, or so-called commonsense, knowledge. Its aim is to exploit to the fu...
144
Voted
SACMAT
2009
ACM
15 years 10 months ago
2009
ACM
In both the commercial and defense sectors a compelling need is emerging for highly dynamic, yet risk optimized, sharing of information across traditional organizational boundarie...
163
Voted
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...
133
Voted
ASPDAC
2007
ACM
15 years 7 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...
136
click to vote
MICRO
2003
IEEE
15 years 8 months ago
2003
IEEE
In this paper we address the design of a future high-speed router that supports line rates as high as OC-3072 (160 Gb/s), around one hundred ports and several service classes. Bui...