Sciweavers

5448 search results - page 94 / 1090
» Breakpoints and Time in Distributed Computations
Sort
View
107
Voted
EUROPAR
1997
Springer
15 years 8 months ago
A Methodology for Compilation of High-Integrity Real-Time Programs
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
Karl Lermer, Colin J. Fidge
144
Voted
ARTS
1999
Springer
15 years 8 months ago
A Formal Model of Real-Time Program Compilation
Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from highlevel language programs to assembler code. Recent mo...
Karl Lermer, Colin J. Fidge
115
Voted
DAC
2002
ACM
16 years 4 months ago
False-path-aware statistical timing analysis and efficient path selection for delay testing and timing validation
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...
Jing-Jia Liou, Angela Krstic, Li-C. Wang, Kwang-Ti...
79
Voted
ICDCSW
2003
IEEE
15 years 9 months ago
A Communication Architecture and Programming Abstractions for Real-Time Embedded Sensor Networks
Tarek F. Abdelzaher, Jack Stankovic, Sang Hyuk Son...
131
Voted
VISSYM
2004
15 years 5 months ago
TimeHistograms for Large, Time-Dependent Data
Histograms are a very useful tool for data analysis, because they show the distribution of values over a data dimension. Many data sets in engineering (like computational fluid dy...
Robert Kosara, Fabian Bendix, Helwig Hauser