Sciweavers

9842 search results - page 236 / 1969

» Compositional timing analysis

117

UML
1999
Springer

127views Natural Language Processing» more UML 1999»

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

15 years 8 months ago

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study

Download www.csm.ornl.gov

Thomas Firley, Michaela Huhn, Karsten Diethers, Th...

claim paper

Read More »

91

RTCSA
1998
IEEE

73views Embedded Systems» more RTCSA 1998»

A Worst Case Timing Analysis Technique for Optimized Programs

15 years 8 months ago

A Worst Case Timing Analysis Technique for Optimized Programs

Download cc.ee.ntu.edu.tw

Sung-Soo Lim, Jihong Kim, Sang Lyul Min

claim paper

Read More »

98

Voted

ANTS
1998
Springer

82views Algorithms» more ANTS 1998»

Timing Analysis of Targeted Hunter Searches

15 years 8 months ago

Timing Analysis of Targeted Hunter Searches

Download hobbes.la.asu.edu

John W. Jones, David P. Roberts

claim paper

Read More »

146

Voted

CCS
1998
ACM

158views Security Privacy» more CCS 1998»

A Probabilistic Poly-Time Framework for Protocol Analysis

15 years 8 months ago

A Probabilistic Poly-Time Framework for Protocol Analysis

Download historical.ncstrl.org

We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...

Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...

claim paper

Read More »

97

Voted

ICCAD
1997
IEEE

71views Hardware» more ICCAD 1997»

Timing analysis based on primitive path delay fault identification

15 years 8 months ago

Timing analysis based on primitive path delay fault identification

Download www.cs.york.ac.uk

Mukund Sivaraman, Andrzej J. Strojwas

claim paper

Read More »

« Prev « First page 236 / 1969 Last » Next »