7961 search results - page 49 / 1593 » Input-Output Model Programs |
120
Voted
LICS
2009
IEEE
15 years 9 months ago
2009
IEEE
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In order to make multithreaded programming manageable, programmers often follow a design principle where they break the problem into tasks which are then solved asynchron...
134
click to vote
SAC
2000
ACM
15 years 5 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
171
click to vote
CPE
1994
Springer
15 years 6 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
