3796 search results - page 155 / 760 » Presentations by Programmers for Programmers |
OOPSLA
2010
Springer
14 years 8 months ago
2010
Springer
As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, ...
142
click to vote
IFM
2010
Springer
14 years 8 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
168
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Cameras provide an appealing new input medium for interaction. The creation of camera-based interfaces is outside the skill-set of most programmers and completely beyond the skill...
DFT
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents the first implementation of Built-In Self-Test (BIST) of Field Programmable Gate Arrays (FPGAs) using a soft core embedded processor for reconfiguration of the...