Sciweavers

9842 search results - page 396 / 1969
» Compositional timing analysis
Sort
View
WSC
1998
15 years 7 months ago
Effective Implementation of Cycle Time Reduction Strategies for Semiconductor Back-end Manufacturing
Using discrete-event simulation models, a study was conducted to evaluate the current production practices of a high-volume semiconductor back-end operation. The overall goal was ...
Joerg Domaschke, Steven Brown, Jennifer Robinson, ...
CORR
2010
Springer
150views Education» more  CORR 2010»
15 years 6 months ago
Existence and Global Logarithmic Stability of Impulsive Neural Networks with Time Delay
The stability and convergence of the neural networks are the fundamental characteristics in the Hopfield type networks. Since time delay is ubiquitous in most physical and biologi...
A. K. Ojha, Dushmanta Mallick, C. Mallick
172
Voted
SIAMSC
2008
146views more  SIAMSC 2008»
15 years 6 months ago
Long Time Numerical Solution of the Navier--Stokes Equations Based on a Sequential Regularization Formulation
Abstract. The sequential regularization method is a reformulation of the unsteady Navier-Stokes equations from the view point of constrained dynamical systems or approximate Helmho...
Ping Lin, Jian-Guo Liu, Xiliang Lu
HEURISTICS
2002
65views more  HEURISTICS 2002»
15 years 5 months ago
Probability Distribution of Solution Time in GRASP: An Experimental Investigation
A GRASP (greedy randomized adaptive search procedure) is a multi-start metaheuristic for combinatorial optimization. We study the probability distributions of solution time to a su...
Renata M. Aiex, Mauricio G. C. Resende, Celso C. R...
ISAAC
2010
Springer
240views Algorithms» more  ISAAC 2010»
15 years 4 months ago
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
Hugo Férée, Emmanuel Hainry, Mathieu...