Sciweavers

11739 search results - page 279 / 2348
» Slideshow: functional presentations
Sort
View
TODAES
2008
47views more  TODAES 2008»
15 years 6 months ago
A tool for automatic detection of deadlock in wormhole networks on chip
We present an extension of Duato's necessary and sufficient condition a routing function must satisfy in order to be deadlock-free, to support environment constraints inducing...
Sami Taktak, Jean Lou Desbarbieux, Emmanuelle Encr...
CEC
2010
IEEE
15 years 4 months ago
Large scale global optimization using self-adaptive differential evolution algorithm
In this paper we present self-adaptive differential evolution algorithm jDElsgo on large scale global optimization. The experimental results obtained by our algorithm on benchmark ...
Janez Brest, Ales Zamuda, Iztok Fister, Mirjam Sep...
CLEIEJ
2007
56views more  CLEIEJ 2007»
15 years 6 months ago
Semantics of Termination
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
Patricia Peratto
ERCIMDL
2005
Springer
91views Education» more  ERCIMDL 2005»
16 years 5 days ago
LibraRing: An Architecture for Distributed Digital Libraries Based on DHTs
We present a digital library architecture based on distributed hash tables. We discuss the main components of this architecture and the protocols for offering information retrieva...
Christos Tryfonopoulos, Stratos Idreos, Manolis Ko...
MTDT
1999
IEEE
57views Hardware» more  MTDT 1999»
15 years 11 months ago
Tutorial: Characterizing SDRAMS
This paper presents characterization methods for an SDRAM in a manufacturing environment. Contact tests, dc tests, basic functional tests, signal margin tests and retention charac...
Jörg E. Vollrath