Sciweavers

1063 search results - page 36 / 213
» Programming Methodologies in GCLA
Sort
View
CISIS
2010
IEEE
14 years 27 days ago
A Parallel Programming Framework for Multi-core DNA Sequence Alignment
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
Tiago Jose Barreiros Martins de Almeida, Nuno Fili...
OL
2011
177views Neural Networks» more  OL 2011»
12 years 10 months ago
Exploiting vector space properties to strengthen the relaxation of bilinear programs arising in the global optimization of proce
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
Juan P. Ruiz, Ignacio E. Grossmann
LICS
2009
IEEE
14 years 2 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons
ICALT
2008
IEEE
14 years 2 months ago
Integrating Medical Robotics in the Robinson Program
The Robinson curriculum contains a novel approach to improve the engineering education, to enhance technological literacy of students from nonengineering fields and to increase in...
Sabina Jeschke, Lars Knipping, Marcus Liebhardt, F...
AHS
2006
IEEE
121views Hardware» more  AHS 2006»
14 years 1 months ago
Hardware/Software Coevolution of Genome Programs and Cellular Processors
The application of evolutionary techniques to the design of custom processing elements bears a strong relation to the natural process that led to the co-evolution of cells and gen...
Gianluca Tempesti, Pierre-André Mudry, Guil...