1154 search results - page 32 / 231 » Mathematizing C concurrency |
99
Voted
ICS
1997
Tsinghua U.
15 years 4 months ago
1997
Tsinghua U.
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive machine-speci c hand tuning. We have developed a methodology wh...
123
Voted
TOPNOC
2008
15 years 12 days ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
83
Voted
CSJM
2008
15 years 18 days ago
2008
Abstract. We consider a multicriteria variant for the wellknown partition problem. A formula of the stability radius for an efficient solution was obtained. Mathematics Subject Cl...
101
click to vote
COMBINATORICS
1999
15 years 5 days ago
1999
We prove that the threshold for a random graph to have a k-core is equal to the threshold for having a subgraph which meets a necessary condition of Gallai for being k-critical. 1...
121
click to vote
PODC
2011
ACM
14 years 3 months ago
2011
ACM
We consider the power of objects in the unbounded concurrency shared memory model, where there is an infinite set of processes and the number of processes active concurrently may...