Sciweavers

6740 search results - page 92 / 1348
» Using Classification as a Programming Language
Sort
View
MM
1995
ACM
89views Multimedia» more  MM 1995»
15 years 1 months ago
A Resolution Independent Video Language
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
Jonathan Swartz, Brian C. Smith
TOPLAS
2010
101views more  TOPLAS 2010»
14 years 8 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
IUI
2012
ACM
13 years 5 months ago
A visual programming language for designing interactions embedded in web-based geographic applications
Visual programming languages (VPLs) provide notations for representing both the intermediate and the final results of a knowledge engineering process. Whereas some VPLs particula...
The Nhan Luong, Patrick Etcheverry, Christophe Mar...
VMV
2004
183views Visualization» more  VMV 2004»
14 years 11 months ago
CGiS, a new Language for Data-parallel GPU Programming
In the last few years, GPUs have become new, promising targets for general purpose programming. Their inherent parallel architecture makes them particularly suited for scientific ...
Nicolas Fritz, Philipp Lucas, Philipp Slusallek
PTS
2008
109views Hardware» more  PTS 2008»
14 years 11 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund