981 search results - page 122 / 197 » Semantics-aware trace analysis |
126
click to vote
PTS
2008
15 years 4 months ago
2008
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
106
click to vote
MVA
2007
15 years 4 months ago
2007
In this paper, we describe a new technique for the automatic orientation of bedding in drill core from digital images. Images are planar pictures of the drill core, and we show th...
137
click to vote
WCET
2008
15 years 4 months ago
2008
We propose an approach for timing analysis of software-based embedded computer systems that builds on the established probabilistic framework of Bayesian networks. We envision an ...
113
click to vote
SODA
2004
ACM
15 years 4 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...
190
click to vote
WSC
2004
15 years 4 months ago
2004
This paper discusses a two-step virtual reality based conceptual design tool that enables industrial designers to create sketches of their ideas in 3-dimensional space in real tim...