Sciweavers

781 search results - page 38 / 157
» Self-Organizing Operator Maps in Complex System Analysis
Sort
View
116
Voted
SOSP
2003
ACM
16 years 18 days ago
RacerX: effective, static detection of race conditions and deadlocks
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
Dawson R. Engler, Ken Ashcraft
132
Voted
IPPS
2002
IEEE
15 years 8 months ago
System-Level Analysis for MPEG-4 Decoding on a Multi-Processor Architecture
The convergence of TV and new features such as Internet and games, requires a generic media-processing platform, that enables simultaneous execution of very diverse tasks, ranging...
Egbert G. T. Jaspers, Erik B. van der Tol, Peter H...
156
Voted
SQJ
2008
94views more  SQJ 2008»
15 years 3 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
157
Voted
BMCBI
2002
131views more  BMCBI 2002»
15 years 3 months ago
Efficient Boolean implementation of universal sequence maps (bUSM)
Background: Recently, Almeida and Vinga offered a new approach for the representation of arbitrary discrete sequences, referred to as Universal Sequence Maps (USM), and discussed ...
John Schwacke, Jonas S. Almeida
117
Voted
ICIP
2007
IEEE
16 years 5 months ago
A High-Speed Vision System for Moment-Based Analysis of Numerous Objects
We describe a high-speed vision system for real-time applications, which is capable of processing visual information at a frame rate of 1 kfps, including both imaging and processi...
Yoshihiro Watanabe, Takashi Komuro, Masatoshi Ishi...