Sciweavers

570 search results - page 32 / 114
» SGNET: Implementation insights
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
14 years 11 days ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
CLADE
2004
IEEE
14 years 7 days ago
Engineering a Peer-to-Peer Collaboratory for Tissue Microarray Research
This paper presents the design, development and evaluation of a prototype peer-to-peer collaboratory for imaging, analyzing, and seamlessly sharing tissue microarrays (TMA), corre...
Cristina Schmidt, Manish Parashar, Wenjin Chen, Da...
DAGM
2004
Springer
14 years 7 days ago
Differential Analysis of Two Model-Based Vehicle Tracking Approaches
An experimental comparison of `Edge-Element Association (EEA)' and `Marginalized Contour (MCo)' approaches for 3D modelbased vehicle tracking in traffic scenes is complic...
Hendrik Dahlkamp, Arthur E. C. Pece, Artur Ottlik,...
E2EMON
2006
IEEE
14 years 5 days ago
Object-Relational DBMS for Packet-Level Traffic Analysis: Case Study on Performance Optimization
Analyzing Internet traffic at packet level involves generally large amounts of raw data, derived data, and results from various analysis tasks. In addition, the analysis often proc...
Matti Siekkinen, Ernst W. Biersack, Vera Goebel
GECCO
2006
Springer
175views Optimization» more  GECCO 2006»
14 years 5 days ago
A comparative study of differential evolution variants for global optimization
In this paper, we present an empirical comparison of some Differential Evolution variants to solve global optimization problems. The aim is to identify which one of them is more s...
Efrén Mezura-Montes, Jesús Vel&aacut...