Sciweavers

1911 search results - page 219 / 383
» Program analysis for code duplication in logic programs
Sort
View
152
Voted
ICS
2005
Tsinghua U.
15 years 10 months ago
Lightweight reference affinity analysis
Previous studies have shown that array regrouping and structure splitting significantly improve data locality. The most effective technique relies on profiling every access to eve...
Xipeng Shen, Yaoqing Gao, Chen Ding, Roch Archamba...
CORR
2011
Springer
179views Education» more  CORR 2011»
15 years 2 days ago
An overview of Ciao and its design philosophy
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
Manuel V. Hermenegildo, Francisco Bueno, Manuel Ca...
DFG
2004
Springer
15 years 10 months ago
An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
Wilhelm Schäfer, Robert Wagner, Jürgen G...
147
Voted
ADC
1999
Springer
97views Database» more  ADC 1999»
15 years 9 months ago
Pseudo-Naive Evaluation
We introduce pseudo-naive evaluation, a method for execution of mixed top-down/bottom-up logic programs and deductive databases. The method is intermediate in power between naive ...
Donald A. Smith, Mark Utting
RECOMB
2008
Springer
16 years 5 months ago
De Novo Sequencing of Nonribosomal Peptides
Abstract. While nonribosomal peptides (NRPs) are of tremendous pharmacological importance, there is currently no technology capable of highthroughput sequencing of NRPs. Difficulti...
Nuno Bandeira, Julio Ng, Dario Meluzzi, Roger G. L...