1154 search results - page 68 / 231 » Mathematizing C concurrency |
CSJM
2008
13 years 10 months ago
2008
In a present paper a problem of classification of Aff(2, R)orbits' dimensions is considered on example of an autonomous two-dimensional affine differential system of first or...
C3S2E
2011
ACM
13 years 1 months ago
2011
ACM
The LLL algorithm is a well-known and widely used lattice basis reduction algorithm. In many applications, its speed is critical. Parallel computing can improve speed. However, th...
ECSCW
2001
13 years 11 months ago
2001
Work processes in team based software development need to be structured to minimise and resolve conflicting or divergent work. Current software development methodologies propose wa...
FASE
2010
Springer
14 years 5 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
ISCA
2006
IEEE
14 years 4 months ago
2006
IEEE
We present Program Demultiplexing (PD), an execution paradigm that creates concurrency in sequential programs by "demultiplexing" methods (functions or subroutines). Cal...