2881 search results - page 220 / 577 » Model Checking for Programming Languages using Verisoft |
133
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
173
click to vote
HPCN
2000
Springer
15 years 10 months ago
2000
Springer
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
174
click to vote
LCPC
2007
Springer
16 years 17 days ago
2007
Springer
Recent studies have shown that programming in a Partition Global Address Space (PGAS) language can be more productive than programming in a message passing model. One reason for th...
150
click to vote
APVIS
2004
15 years 7 months ago
2004
We describe a modelling language, called XML:LP, for presenting linear and integer programs in XML, with related tools for displaying models and their solutions in web browsers. O...
186
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...