7961 search results - page 243 / 1593 » Input-Output Model Programs |
121
Voted
PPOPP
2005
ACM
15 years 9 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
175
click to vote
NFM
2011
14 years 10 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
119
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
116
click to vote
JITE
2006
15 years 3 months ago
2006
The last twenty years has seen the development of demand for a new type of computing professional, which has resulted in the emergence of the academic discipline of Information Te...
140
Voted
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
Command-oriented functional programs are currently structured in an ad hoc way that makes the development of multiple userinterfaces difficult and error prone, and makes it diffic...