Sciweavers

1632 search results - page 244 / 327
» Topological Analysis of Refinement
Sort
View
102
Voted
PPOPP
2006
ACM
15 years 5 months ago
On-line automated performance diagnosis on thousands of processes
Performance analysis tools are critical for the effective use of large parallel computing resources, but existing tools have failed to address three problems that limit their scal...
Philip C. Roth, Barton P. Miller
AVSS
2003
IEEE
15 years 4 months ago
Improving the Extraction of Temporal Motion Strength Signals from Video Recordings of Neonatal Seizures
Automated processing and analysis of video recordings of neonatal seizures can generate novel methods for extracting quantitative information that is relevant only to the seizure [...
Nicolaos B. Karayiannis, Guozhi Tao
79
Voted
ASPDAC
2007
ACM
108views Hardware» more  ASPDAC 2007»
15 years 3 months ago
Software Performance Estimation in MPSoC Design
- Estimation tools are a key component of system-level methodologies, enabling a fast design space exploration. Estimation of software performance is essential in current software-...
Márcio Oyamada, Flávio Rech Wagner, ...
FORMATS
2007
Springer
15 years 2 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
SERP
2003
15 years 10 days ago
A Process for BDI Agent-Based Software Construction
Agent-based programming comes us as a next generation programming paradigm. However, we have not been ready yet to fully use it without having sound and concrete software engineer...
Chang-Hyun Jo, Jeffery M. Einhorn