Search Sciweavers | Sciweavers

840 search results - page 8 / 168

» Open multi-methods for c

click to vote

CF
2006
ACM

145views Applied Computing» more CF 2006»

Landing openMP on cyclops-64: an efficient mapping of openMP to a many-core system-on-a-chip

15 years 1 months ago

Download www.capsl.udel.edu

This paper presents our experience mapping OpenMP parallel programming model to the IBM Cyclops-64 (C64) architecture. The C64 employs a many-core-on-a-chip design that integrates...

Juan del Cuvillo, Weirong Zhu, Guang R. Gao

claim paper

Read More »

click to vote

ERLANG
2006
ACM

150views Programming Languages» more ERLANG 2006»

Dryverl: a flexible Erlang/C binding compiler

15 years 3 months ago

Download www.csg.is.titech.ac.jp

This article introduces Dryverl, an Erlang/C binding code r. Dryverl aims at becoming the most abstract, open and efﬁcient tool for implementing any Erlang/C bindings, as either...

Romain Lenglet, Shigeru Chiba

claim paper

Read More »

Voted

CSL
2008
Springer

131views Automated Reasoning» more CSL 2008»

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T

14 years 11 months ago

Download www.doc.ic.ac.uk

Interval logics are an important area of computer science. Although attention has been mainly focused on unary operators, an early work by Venema (1991) introduced an expressively ...

Ian Hodkinson, Angelo Montanari, Guido Sciavicco

claim paper

Read More »

click to vote

ICRA
1999
IEEE

108views Robotics» more ICRA 1999»

Open-Loop Orientability of Objects on Actuator Arrays

15 years 1 months ago

Download www.cs.cmu.edu

Jonathan E. Luntz, William C. Messner, Howie Chose...

claim paper

Read More »