Sciweavers

760 search results - page 57 / 152
» A visualization system for multithreaded programming
Sort
View
VL
2002
IEEE
100views Visual Languages» more  VL 2002»
15 years 2 months ago
Using HCI Techniques to Design a More Usable Programming System
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
John F. Pane, Brad A. Myers, Leah B. Miller
IPPS
2010
IEEE
14 years 7 months ago
A GPU-inspired soft processor for high-throughput acceleration
There is building interest in using FPGAs as accelerators for high-performance computing, but existing systems for programming them are so far inadequate. In this paper we propose...
Jeffrey Kingyens, J. Gregory Steffan
WSCG
2004
161views more  WSCG 2004»
14 years 11 months ago
Data Visualization Using Hardware Accelerated Spline Interpolation
We present our method of real-time rendering of grid-structured data. The method uses bicubic spline interpolation running on common current graphics hardware to map the values to...
Petr Kadlec, Marek Gayer, Pavel Slavík
SE
2008
14 years 11 months ago
Monaco: A DSL Approach for Programming Automation Systems
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
Herbert Prähofer, Dominik Hurnaus, Roland Sch...
LICS
2000
IEEE
15 years 2 months ago
A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names
Concurrent ML is an extension of Standard ML with π-calculus-like primitives for multi-threaded programming. CML has a reduction semantics, but to date there has been no labelled...
Alan Jeffrey, Julian Rathke