1573 search results - page 117 / 315 » Picture Programming Project |
116
click to vote
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Low-level program analysis is a fundamental problem, taking the shape of “flow analysis” in functional languages and “points-to” analysis in imperative and object-oriente...
136
Voted
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
112
Voted
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
Currently most Erlang programs contain no or very little type information. This sometimes makes them unreliable, hard to use, and difficult to understand and maintain. In this pap...
144
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
136
click to vote
AOSD
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...