4426 search results - page 63 / 886 » Concurrent Constraint Programming |
138
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
143
click to vote
ENTCS
2008
15 years 4 months ago
2008
Reactive programs have to react continuously to their inputs. Here the time needed to react with the according output is important. While the synchrony hypothesis takes the view t...
137
Voted
ICFP
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
113
Voted
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
145
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...