Sciweavers

9210 search results - page 309 / 1842
» Analyzing Real-Time Systems
Sort
View
ASPLOS
2004
ACM
15 years 8 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
77
Voted
HICSS
2009
IEEE
109views Biometrics» more  HICSS 2009»
15 years 10 months ago
Community-Based Recommender Systems: Analyzing Business Models from a Systems Operator's Perspective
Pei-Yu Chen, Yen-Chun Chou, Robert J. Kauffman
110
Voted
IEEEARES
2006
IEEE
15 years 9 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 8 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
MM
1994
ACM
116views Multimedia» more  MM 1994»
15 years 7 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