2477 search results - page 159 / 496 » First-Order Interactive Programming |
TACAS
2007
Springer
14 years 3 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
CCECE
2006
IEEE
14 years 3 months ago
2006
IEEE
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
FCCM
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
ASSETS
2006
ACM
14 years 3 months ago
2006
ACM
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
SC
2000
ACM
14 years 1 months ago
2000
ACM
We present a new parallel programming tool environment that is (1) accessible and executable “anytime, anywhere,” through standard Web browsers and (2) integrated in that it p...