Sciweavers

1112 search results - page 150 / 223
» Executing Abstract Test Cases
Sort
View
ACSC
2004
IEEE
15 years 3 months ago
Strength Reduction for Loop-Invariant Types
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
Phung Hua Nguyen, Jingling Xue
ANTSW
2006
Springer
15 years 3 months ago
Applying Aspects of Multi-robot Search to Particle Swarm Optimization
Abstract. We present a modified version of the Particle swarm Optimization algorithm in which we adjust the virtual swarm search by incorporating inter-agent dynamics native to mul...
Jim Pugh, Loïc Segapelli, Alcherio Martinoli
79
Voted
DATE
2004
IEEE
128views Hardware» more  DATE 2004»
15 years 3 months ago
Synthesis for Manufacturability: A Sanity Check
As we move towards nanometer technology, manufacturing problems become overwhelmingly difficult to solve. Presently, optimization for manufacturability is performed at a post-synt...
Alessandra Nardi, Alberto L. Sangiovanni-Vincentel...
CIA
2006
Springer
15 years 3 months ago
A Framework of Cooperative Agents with Implicit Support for Ontologies
Abstract. W3C's OWL has gained wide acceptance in the agent community and it has already been used in many agent applications which we think syntactically. By taking advantage...
Riza Cenk Erdur, Inanç Seylan
CMSB
2006
Springer
15 years 3 months ago
Regulatory Network Reconstruction Using Stochastic Logical Networks
Abstract. This paper presents a method for regulatory network reconstruction from experimental data. We propose a mathematical model for regulatory interactions, based on the work ...
Bartek Wilczynski, Jerzy Tiuryn