Sciweavers

9595 search results - page 292 / 1919
» Functional programming in C
Sort
View
ICCS
2007
Springer
16 years 23 days ago
On the Virtues of Generic Programming for Symbolic Computation
The purpose of this study is to measure the impact of C level code polynomial arithmetic on the performances of AXIOM highlevel algorithms, such as polynomial factorization. More p...
Xin Li, Marc Moreno Maza, Éric Schost
CORR
2010
Springer
142views Education» more  CORR 2010»
15 years 6 months ago
Integrality Gaps of Linear and Semi-definite Programming Relaxations for Knapsack
Recent years have seen an explosion of interest in lift and project methods, such as those proposed by Lov
Anna R. Karlin, Claire Mathieu, C. Thach Nguyen
CDC
2010
IEEE
112views Control Systems» more  CDC 2010»
15 years 1 months ago
A semidefinite programming framework for controlling multi-robot systems in dynamic environments
Abstract-- In this paper, a discrete
Jason C. Derenick, John R. Spletzer, Vijay Kumar
ESOP
2006
Springer
15 years 10 months ago
Embedding Dynamic Dataflow in a Call-by-Value Language
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...
Gregory H. Cooper, Shriram Krishnamurthi
CAV
2006
Springer
209views Hardware» more  CAV 2006»
15 years 10 months ago
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUT...
Koushik Sen, Gul Agha