Sciweavers

9210 search results - page 309 / 1842
» Analyzing Real-Time Systems
Sort
View
ASPLOS
2004
ACM
15 years 6 months ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
54
Voted
HICSS
2009
IEEE
109views Biometrics» more  HICSS 2009»
15 years 7 months ago
Community-Based Recommender Systems: Analyzing Business Models from a Systems Operator's Perspective
Pei-Yu Chen, Yen-Chun Chou, Robert J. Kauffman
IEEEARES
2006
IEEE
15 years 6 months ago
Application of the Digraph Method in System Fault Diagnostics
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
E. M. Kelly, L. M. Bartlett
ICVS
2003
Springer
15 years 6 months ago
A Software Architecture for Distributed Visual Tracking in a Global Vision Localization System
The paper considers detecting and tracking multiple moving objects in real time by a multiagent active vision system. The main objective of the envisioned system is to maintain an ...
Sinisa Segvic, Slobodan Ribaric
93
Voted
MM
1994
ACM
116views Multimedia» more  MM 1994»
15 years 4 months ago
A Beat Tracking System for Acoustic Signals of Music
This paper presents a beat tracking system that processes acoustic signals of music and recognizes temporal positions of beats in real time. Musical beat tracking is needed by var...
Masataka Goto, Yoichi Muraoka