Sciweavers

1529 search results - page 143 / 306
» On Timing Analysis of Combinational Circuits
Sort
View
RTCSA
2005
IEEE
14 years 1 months ago
Integrating Hybrid Garbage Collection with Dual Priority Scheduling
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
Yang Chang, Andy J. Wellings
SIGSOFT
1994
ACM
14 years 9 days ago
Data Flow Analysis for Verifying Properties of Concurrent Programs
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
Matthew B. Dwyer, Lori A. Clarke
CVIU
2006
129views more  CVIU 2006»
13 years 8 months ago
Integrating multiple levels of zoom to enable activity analysis
In this paper, we present a multi-zoom framework for activity analysis in situations requiring combinations of both detailed and coarse views of the scene. The epipolar geometry i...
Paul Smith, Mubarak Shah, Niels da Vitoria Lobo
CODES
1998
IEEE
14 years 15 days ago
Schedulability analysis of heterogeneous systems for performance message sequence chart
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
Frank Slomka, Jürgen Zant, Lennard Lambert
HT
2003
ACM
14 years 1 months ago
Link analysis for collaborative knowledge building
We present an ongoing research project utilizing navigation and hyperlink data to aid collaborative knowledge building. We allow collaborators to personally organize documents and...
Harris Wu, Michael D. Gordon, Kurt DeMaagd, Nathan...