173 search results - page 28 / 35 » SPC-XML: A Structured Representation for Nested-Parallel Pro... |
165
Voted
HVC
2007
Springer
15 years 7 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
121
click to vote
ERLANG
2008
ACM
15 years 5 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
224
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
152
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
141
click to vote
IJHPCA
2007
15 years 3 months ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...