4306 search results - page 396 / 862 » Timed Testing with TorX |
123
Voted
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
144
Voted
ISSAC
2009
Springer
15 years 10 months ago
2009
Springer
We address complexity issues for linear differential equations in characteristic p > 0: resolution and computation of the p-curvature. For these tasks, our main focus is on al...
76
Voted
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
Controlling jitter on a picosecond (or smaller) time scale has become one of the most difficult challenges for testing multi-gigahertz systems. In this paper we present a novel me...
140
Voted
SAGA
2005
Springer
15 years 9 months ago
2005
Springer
Two general-purpose metaheuristic algorithms for solving multiobjective stochastic combinatorial optimization problems are introduced: SP-ACO (based on the Ant Colony Optimization ...
139
Voted
IJAR
2002
15 years 3 months ago
2002
We develop a decision-theoretic method that yields approximate, low cost troubleshooting plans by making more relevant observations and devoting more time to generate a plan. The ...