2810 search results - page 261 / 562 » Contract-Based Component System Design |
148
Voted
CODES
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...
107
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
134
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
It is often the case that safety-critical systems have to be reconfigured during operation because of issues such as changes in the system's operating environment or the fail...
113
Voted
WSCG
2004
15 years 4 months ago
2004
The levels of immersion and presence felt by users in a Virtual Environment (VE) are very important factors that dictate the quality of the Virtual Reality (VR) experience. Sensor...
138
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— We present a novel technique for the detection of hand-thrown objects in a video sequence. Our method runs in real-time and was designed to be used as a component in a deployed...