897 search results - page 121 / 180 » Reuse, Validation and Verification of System Development Pro... |
108
click to vote
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
CCECE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
AVSS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an Open Source Vision Library (OpenVL) for hardware acceleration of video-based surveillance systems and other computer vision applications to facilitate low l...
134
click to vote
FPGA
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Empirical studies of software defects rely on links between bug databases and program code repositories. This linkage is typically based on bug-fixes identified in developer-enter...