Sciweavers

11328 search results - page 326 / 2266
» Timed Branching Processes
Sort
View
DAC
2007
ACM
16 years 5 months ago
Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
Zhuo Feng, Peng Li, Yaping Zhan
UML
2004
Springer
15 years 10 months ago
SVERTS - Specification and Validation of Real-Time and Embedded Systems
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...
Susanne Graf, Øystein Haugen, Ileana Ober, ...
FCCM
2007
IEEE
168views VLSI» more  FCCM 2007»
15 years 4 months ago
Discrete-Time Cellular Neural Networks in FPGA
This paper describes a novel architecture for the hardware implementation of non-linear multi-layer cellular neural networks. This makes it feasible to design CNNs with millions o...
J. Javier Martínez-Álvarez, F. Javie...
CCE
2004
15 years 4 months ago
Time requirements for heteroazeotropic distillation in batch columns
Batch time requirements are provided for the separation of ternary heterogeneous azeotropic mixtures into three pure products in closed batch column configurations. The separation...
S. Skouras, Sigurd Skogestad
SODA
2012
ACM
177views Algorithms» more  SODA 2012»
13 years 7 months ago
Stochastic coalescence in logarithmic time
The following distributed coalescence protocol was introduced by Dahlia Malkhi in 2006 motivated by applications in social networking. Initially there are n agents wishing to coal...
Po-Shen Loh, Eyal Lubetzky