4719 search results - page 260 / 944 » Newtonian program analysis |
179
click to vote
WCET
2003
15 years 7 months ago
2003
Worst-Case Execution Time (WCET) analysis means to compute a safe upper bound to the execution time of a piece of code. Parametric WCET analysis yields symbolic upper bounds: expr...
119
click to vote
EWC
2006
15 years 5 months ago
2006
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
150
click to vote
ISCAS
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
158
click to vote
ISORC
2008
IEEE
16 years 7 days ago
2008
IEEE
Knowing the program timing characteristics is fundamental to the successful design and execution of real-time systems. A critical timing measure is the worst-case execution time (...
156
click to vote
DBPL
2007
Springer
16 years 20 hour ago
2007
Springer
Abstract. Provenance is information recording the source, derivation, or history of some information. Provenance tracking has been studied in a variety of settings; however, althou...