4722 search results - page 533 / 945 » Encoding Program Executions |
279
click to vote
ASPLOS
2009
ACM
16 years 5 months ago
2009
ACM
QR decomposition is a computationally intensive linear algebra operation that factors a matrix A into the product of a unitary matrix Q and upper triangular matrix R. Adaptive sys...
165
click to vote
PPOPP
2009
ACM
16 years 5 months ago
2009
ACM
A stream processor executes an application that has been decomposed into a sequence of kernels that operate on streams of data elements. During the execution of a kernel, all stre...
257
click to vote
POPL
2006
ACM
16 years 5 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
237
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
Network protocol design is usually an informal process where debugging is based on successive iterations of a prototype implementation. The feedback provided by a prototype can be...
158
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...