Sciweavers

2007 search results - page 94 / 402
» Using general-purpose programming languages for FPGA design
Sort
View
OOPSLA
2009
Springer
15 years 4 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...

Publication
241views
14 years 10 months ago
Fast and Automatic Object Pose Estimation for Range Images on the GPU
We present a pose estimation method for rigid objects from single range images. Using 3D models of the objects, many pose hypotheses are compared in a data-parallel version of t...
In Kyu Park, Marcel Germann, Michael D. Breitenste...
PLSA
1994
15 years 2 months ago
Languages and Interactive Software Development
Abstract. Most software is developed using interactive computing systems and substantial compute-power. Considerable assistance can be given to the developer by providing language-...
Susan L. Graham
SIGADA
2005
Springer
15 years 3 months ago
Experimental performance analysis of ada programs in cluster system
In this paper, we describe the use of the Ada language for programming in modern cluster systems. The results of experimental performance analysis of Ada and Java programs in a re...
Korochkin Alexandr, Salah Imad, Korochkin Dmitry
POPL
2004
ACM
15 years 10 months ago
Principal typings for Java-like languages
The contribution of the paper is twofold. First, we define a general notion of type system equipped with an entailment relation between type environments; this generalisation serv...
Davide Ancona, Elena Zucca