2374 search results - page 363 / 475 » The language of machines |
ASM
2004
ASM
14 years 3 months ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
IUI
2010
ACM
14 years 5 months ago
2010
ACM
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
VL
2009
IEEE
14 years 5 months ago
2009
IEEE
Repositories of code written by end-user programmers are beginning to emerge, but when a piece of code is new or nobody has yet reused it, then current repositories provide users ...
IPPS
2009
IEEE
2009
IEEE
Scaling communication-intensive applications on BlueGene/P using one-sided communication and overlap
14 years 5 months ago
In earlier work, we showed that the one-sided communication model found in PGAS languages (such as UPC) offers significant advantages in communication efficiency by decoupling d...
TPHOL
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...