3663 search results - page 157 / 733 » Problems in the ontology of computer programs |
232
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
125
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
128
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. We discuss the High Performance Fortran data parallel programming language as an aid to software engineering and as a tool for exploiting High Performance Computing syste...
164
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of using untrusted (potentially malicious) cryptographic helpers. We provide a formal security definition for securely outsourcing computations from a comp...
127
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Future high-end computers will offer great performance improvements over today’s machines, enabling applications of far greater complexity. However, designers must solve the cha...