Results 1  10
of
6,976
Worstcase Time Bounds for Coloring and Satisfiability Problems
, 2002
"... We consider worst case time bounds for NPcomplete problems. For the (k, 2)satisfiability problem, we give a randomized algorithm that runs in time O\Lambda ((k!)n=k). This bound is O((k=ck)n) with ck increasing to the asymptotic limit e, and improves for k * 11 over the O((0:4518k)n) randomized b ..."
Abstract

Cited by 19 (1 self)
 Add to MetaCart
We consider worst case time bounds for NPcomplete problems. For the (k, 2)satisfiability problem, we give a randomized algorithm that runs in time O\Lambda ((k!)n=k). This bound is O((k=ck)n) with ck increasing to the asymptotic limit e, and improves for k * 11 over the O((0:4518k)n) randomized
Dynamic Dictionaries in Constant WorstCase Time
"... We introduce a technique to maintain a set of n elements from a universe of size u with membership and indel operations, so that elements are associated rbit satellite data. We achieve constant worstcase time for all the operations, at the price of spending u + o(u) + O(nr + n log log log u) bits ..."
Abstract
 Add to MetaCart
We introduce a technique to maintain a set of n elements from a universe of size u with membership and indel operations, so that elements are associated rbit satellite data. We achieve constant worstcase time for all the operations, at the price of spending u + o(u) + O(nr + n log log log u) bits
Worstcase timing analysis of exception handling in Ada
 in Ada. Ada: Towards Maturity
, 1993
"... . This paper describes a method for analysing the timing properties of exception handling in Ada. The paper first describes how exceptions are implemented and considers the use of exceptions in the SPARK, Safe/Ada and ANNA subsets. A static analysis technique for reasoning about exception propagatio ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
propagation is then presented. We argue that this technique, along with a suitable subset and detailed knowledge of exception implementation can be used to develop an accurate worstcase timing analysis system. The method is illustrated with an example. Finally, our conclusions and plans for further work
General probabilistic framework for worstcase timing analysis
 Proc of DAC
, 2002
"... ABSTRACT The traditional approach to worstcase statictiming analysis is becoming unacceptably conservative due to an everincreasing number of circuit and process effects. We propose a fundamentally different framework that aims to significantly improve the accuracy of timing predictions through ..."
Abstract

Cited by 89 (4 self)
 Add to MetaCart
ABSTRACT The traditional approach to worstcase statictiming analysis is becoming unacceptably conservative due to an everincreasing number of circuit and process effects. We propose a fundamentally different framework that aims to significantly improve the accuracy of timing predictions through
An Accurate Worst Case Timing Analysis for RISC Processors
 IN IEEE REALTIME SYSTEMS SYMPOSIUM
, 1995
"... An accurate and safe estimation of a task's worst case execution time (WCET) is crucial for reasoning about the timing properties of realtime systems. In RISC processors, the execution time of a program construct (e.g., a statement) is affected by various factors such as cache hits/misses a ..."
Abstract

Cited by 117 (3 self)
 Add to MetaCart
An accurate and safe estimation of a task's worst case execution time (WCET) is crucial for reasoning about the timing properties of realtime systems. In RISC processors, the execution time of a program construct (e.g., a statement) is affected by various factors such as cache hits
Efficient worst case timing analysis of data caching
 In IEEE RealTime Technology and Applications Symposium
, 1996
"... Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching, which is necessary when a RISC processor is used as the target processor of a realtime system. However, there has not been much progress ..."
Abstract

Cited by 49 (1 self)
 Add to MetaCart
Recent progress in worst case timing analysis of programs has made it possible to perform accurate timing analysis of pipelined execution and instruction caching, which is necessary when a RISC processor is used as the target processor of a realtime system. However, there has not been much
On the probabilistic worstcase time of "FIND"
 ALGORITHMICA
, 2001
"... We analyze the worstcase number of comparisons Tn of Hoare’s selection algorithm find when the input is a random permutation, and worst case is measured with respect to the rank k. We give a new short proof that Tn/n tends to a limit distribution, and provide new bounds for the limiting distributi ..."
Abstract

Cited by 12 (0 self)
 Add to MetaCart
We analyze the worstcase number of comparisons Tn of Hoare’s selection algorithm find when the input is a random permutation, and worst case is measured with respect to the rank k. We give a new short proof that Tn/n tends to a limit distribution, and provide new bounds for the limiting
EXPOSE: Inferring Worstcase Time Complexity by Automatic Empirical Study
"... Introduction to doubling. A useful understanding of an algorithm’s efficiency, the worstcase time complexity gives an upper bound on how an increase in the size of the input, denoted n, increases the execution time of the algorithm, or f(n). This relationship is often expressed in the ..."
Abstract
 Add to MetaCart
Introduction to doubling. A useful understanding of an algorithm’s efficiency, the worstcase time complexity gives an upper bound on how an increase in the size of the input, denoted n, increases the execution time of the algorithm, or f(n). This relationship is often expressed in the
The worstcase time complexity for generating all maximal cliques, COCOON
 Lecture Notes in Computer Science,
, 2004
"... Abstract We present a depthfirst search algorithm for generating all maximal cliques of an undirected graph, in which pruning methods are employed as in the BronKerbosch algorithm. All the maximal cliques generated are output in a treelike form. Subsequently, we prove that its worstcase time co ..."
Abstract

Cited by 82 (1 self)
 Add to MetaCart
Abstract We present a depthfirst search algorithm for generating all maximal cliques of an undirected graph, in which pruning methods are employed as in the BronKerbosch algorithm. All the maximal cliques generated are output in a treelike form. Subsequently, we prove that its worstcase time
Integrated program proof and worstcase timing analysis of SPARK Ada.
 In Proc. ACM SIGPLAN Workshop on Languages, Compilers and Tools for RealTime Systems (LCTRTS'94
, 1994
"... . This paper describes work in progress at the University of York on worstcase timing analysis of software for hard realtime and safetycritical systems. We are pursuing a programming environment that combines the technologies of program proof and timing analysis. In short, the analytical power af ..."
Abstract

Cited by 45 (7 self)
 Add to MetaCart
. This paper describes work in progress at the University of York on worstcase timing analysis of software for hard realtime and safetycritical systems. We are pursuing a programming environment that combines the technologies of program proof and timing analysis. In short, the analytical power
Results 1  10
of
6,976