Sciweavers

3825 search results - page 190 / 765
» The Language of Time: A Reader
Sort
View
SOFTVIS
2006
ACM
16 years 12 days ago
Time travelling animated program executions
Visualizations of program executions are often generated on the fly. This has many advantages relative to off-line generation of animated video files. Video files, however, trivia...
Ken Kahn
ASIAN
2006
Springer
104views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Closing Internal Timing Channels by Transformation
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
Alejandro Russo, John Hughes, David A. Naumann, An...
FSTTCS
2007
Springer
16 years 18 days ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin
ICDCIT
2005
Springer
15 years 12 months ago
Analyzing Loop Paths for Execution Time Estimation
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
Abhik Roychoudhury, Tulika Mitra, Hemendra Singh N...
GFKL
2004
Springer
154views Data Mining» more  GFKL 2004»
15 years 12 months ago
Discovering Temporal Knowledge in Multivariate Time Series
Abstract. An overview of the Time Series Knowledge Mining framework to discover knowledge in multivariate time series is given. A hierarchy of temporal patterns, which are not a pr...
Fabian Mörchen, Alfred Ultsch