Sciweavers

1802 search results - page 306 / 361
» Complexity Theory for Operators in Analysis
Sort
View
APCSAC
2004
IEEE
15 years 10 months ago
A Compiler-Assisted On-Chip Assigned-Signature Control Flow Checking
As device sizes continue shrinking, lower charges are needed to activate gates, and consequently ever smaller external events (such as single ionizing particles of naturally occurr...
Xiaobin Li, Jean-Luc Gaudiot
CCGRID
2006
IEEE
15 years 10 months ago
DIMVisual: Data Integration Model for Visualization of Parallel Programs Behavior
Abstract-- The development of high performance parallel applications for clusters is considered a complex task. This can happen because the influence of the execution environment a...
Lucas Mello Schnorr, Philippe Olivier Alexandre Na...
GECCO
2006
Springer
220views Optimization» more  GECCO 2006»
15 years 9 months ago
Comparing evolutionary algorithms on the problem of network inference
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...
Christian Spieth, Rene Worzischek, Felix Streicher...
ATVA
2008
Springer
102views Hardware» more  ATVA 2008»
15 years 8 months ago
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
Farn Wang
BCS
2008
15 years 7 months ago
On Using Physical Analogies for Feature and Shape Extraction in Computer Vision
: There is a rich literature of approaches to image feature extraction in computer vision. Many sophisticated approaches exist for low- and high-level feature extraction but can be...
Mark S. Nixon, Cem Direkoglu, Xin U. Liu, David J....