Sciweavers

4816 search results - page 483 / 964
» Performance analysis of the AntNet algorithm
Sort
View
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 months ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
CL
2007
Springer
15 years 7 months ago
A bulk-synchronous parallel process algebra
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
Armelle Merlin, Gaétan Hains
WSC
2000
15 years 8 months ago
Simulation optimization using tabu search
Investigation of the performance and operation of complex systems in manufacturing or other environments, analytical models of these systems become very complicated. Because of th...
Berna Dengiz, Cigdem Alabas
ICIP
2005
IEEE
16 years 8 months ago
A generic and automatic content-based approach for improved H.264/MPEG4-AVC video coding
A new content-based approach for improved H.264/MPEG4-AVC video coding is presented. The framework is generic because it is based on a closed-loop texture analysis by synthesis alg...
Patrick Ndjiki-Nya, Tobias Hinz, Aljoscha Smolic, ...
GIS
2008
ACM
16 years 8 months ago
Feed-links for network extensions
Road network data is often incomplete, making it hard to perform network analysis. This paper discusses the problem of extending partial road networks with reasonable links, using...
Boris Aronov, Kevin Buchin, Maike Buchin, B. Janse...