1264 search results - page 187 / 253 » Designing Safe, Reliable Systems using Scade |
108
click to vote
AVSS
2008
IEEE
15 years 2 months ago
2008
IEEE
We present a method aimed at monitoring access to interlocks and secured entrance areas, which deploys two views in order to robustly perform intrusion detection and singularizati...
114
click to vote
SIGPLAN
2002
15 years 1 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
128
click to vote
SP
2002
IEEE
15 years 1 months ago
2002
IEEE
CX, a network-based computational exchange, is presented. The system's design integrates variations of ideas from other researchers, such as work stealing, non-blocking tasks...
141
click to vote
VTC
2010
IEEE
14 years 11 months ago
2010
IEEE
This paper reviews recent developments in vehicular radar at 60 GHz and above, with a focus on low cost integrated antennas. We investigate a number of radar and communication ante...
TVLSI
2002
15 years 1 months ago
2002
Abstract--The use of "turbo codes" has been proposed for several applications, including the development of wireless systems, where highly reliable transmission is requir...