Sciweavers

7092 search results - page 351 / 1419
» Parallelizing constraint programs
Sort
View
136
Voted
GECCO
2005
Springer
189views Optimization» more  GECCO 2005»
15 years 8 months ago
Molecular programming: evolving genetic programs in a test tube
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
Byoung-Tak Zhang, Ha-Young Jang
ISBI
2007
IEEE
15 years 9 months ago
Fast Regularized Reconstruction of Non-Uniformly Subsampled Partial-Fourier Parallel MRI Data
We present an adaptation of our previous fast, regularized parallel MRI reconstruction approach (LSQR-Hybrid) to encompass the reconstruction of partial-Fourier data. Reconstructi...
William Scott Hoge, Misha Elena Kilmer, Carlos Zac...
MICCAI
2004
Springer
15 years 8 months ago
A Parallel Robotic System with Force Sensors for Percutaneous Procedures Under CT-Guidance
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...
Benjamin Maurin, Jacques Gangloff, Bernard Bayle, ...
132
Voted
ASPDAC
2011
ACM
227views Hardware» more  ASPDAC 2011»
14 years 6 months ago
Minimizing buffer requirements for throughput constrained parallel execution of synchronous dataflow graph
– This paper concerns throughput-constrained parallel execution of synchronous data flow graphs. This paper assumes static mapping and dynamic scheduling of nodes, which has seve...
Tae-ho Shin, Hyunok Oh, Soonhoi Ha
FLOPS
2010
Springer
15 years 8 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann