Sciweavers

11328 search results - page 143 / 2266
» Timed Branching Processes
Sort
View
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
16 years 11 days ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
138
Voted
IPPS
2007
IEEE
15 years 9 months ago
Expected Time for Obtaining Dependable Data in Real-Time Environment
In real-time environment, data usually has a lifespan associated with it. The semantics and the importance of the data depend on the time when data is utilized. Hence, the process...
Yue Yu, Shangping Ren
WCRE
2010
IEEE
15 years 1 months ago
Software Process Recovery: Recovering Process from Artifacts
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
Abram Hindle
IWPEC
2009
Springer
15 years 10 months ago
Pareto Complexity of Two-Parameter FPT Problems: A Case Study for Partial Vertex Cover
We describe a framework for expressing the complexity of algorithms for FPT problems with two separate parameters k, m and with exponential time bounds O∗ (xk ym ) where x, y &g...
Peter Damaschke
TIME
2005
IEEE
15 years 9 months ago
A Trace Semantics for Positive Core XPath
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
Pieter H. Hartel