Search Sciweavers | Sciweavers

975 search results - page 7 / 195

» Locality Optimization for Program Instances

click to vote

TYPES
2004
Springer

129views Formal Methods» more TYPES 2004»

Tactic-Based Optimized Compilation of Functional Programs

14 years 12 days ago

Download kisogawa.inf.ethz.ch

Abstract Within a framework of correct code-generation from HOLspeciﬁcations, we present a particular instance concerned with the optimized compilation of a lazy language (called...

Thomas Meyer, Burkhart Wolff

claim paper

Read More »

click to vote

JSAT
2008

79views more JSAT 2008»

An Extended Semidefinite Relaxation for Satisfiability

13 years 7 months ago

Download jsat.ewi.tudelft.nl

This paper proposes a new semidefinite programming relaxation for the satisfiability problem. This relaxation is an extension of previous relaxations arising from the paradigm of ...

Miguel F. Anjos

claim paper

Read More »

click to vote

CPHYSICS
2006

127views more CPHYSICS 2006»

GenAnneal: Genetically modified Simulated Annealing

13 years 7 months ago

Download zeus.cs.uoi.gr

A modification of the standard Simulated Annealing (SA) algorithm is presented for finding the global minimum of a continuous multidimensional, multimodal function. We report resu...

Ioannis G. Tsoulos, Isaac E. Lagaris

claim paper

Read More »

click to vote

CC
2005
Springer

91views System Software» more CC 2005»

Optimizing C Multithreaded Memory Management Using Thread-Local Storage

14 years 18 days ago

Download www.cs.tau.ac.il

Yair Sade, Shmuel Sagiv, Ran Shaham

claim paper

Read More »