Sciweavers

5683 search results - page 356 / 1137
» Interactive Schedulability Analysis
Sort
View
CHI
2010
ACM
15 years 4 months ago
Supporting coordination in surgical suites: physical aspects of common information spaces
To accommodate frequent emergencies, interruptions, and delays, hospital staff continually make and coordinate changes to the surgery schedule. The technical and social aspects of...
Peter Scupelli, Yan Xiao, Susan R. Fussell, Sara B...
CHI
2006
ACM
16 years 7 months ago
Whisper: analysis and design for a community event service
We present an analysis of what we call the community event space, looking at how social events are planned and organized. Based on a series of interviews, field studies, and a foc...
Jennifer Ng, Jonathan Terleski, Jason I. Hong
FASE
2004
Springer
16 years 7 days ago
Enhancing Remote Method Invocation through Type-Based Static Analysis
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
Carlo Ghezzi, Vincenzo Martena, Gian Pietro Picco
ISSS
1997
IEEE
103views Hardware» more  ISSS 1997»
15 years 11 months ago
A Source-Level Dynamic Analysis Methodology and Tool for High-Level Synthesis
This paper presents a novel source-level dynamic analysis methodology and tool for High-Level Synthesis (HLS). It not only for the first time enables HLS to offer source-level de...
Chih-Tung Chen, Kayhan Küçük&cced...
PTS
2008
98views Hardware» more  PTS 2008»
15 years 8 months ago
Modular System Verification by Inference, Testing and Reachability Analysis
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
Roland Groz, Keqin Li 0002, Alexandre Petrenko, Mu...