12289 search results - page 524 / 2458 » computing 2006 |
146
click to vote
IPPS
2006
IEEE
16 years 29 days ago
2006
IEEE
Zero-copy, RDMA, and protocol offload are three very important characteristics of high performance interconnects. Previous networks that made use of these techniques were built u...
168
click to vote
SKG
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
168
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...
233
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Orc is a new language for task orchestration, a form of concurrent programming with applications in workflow, business process management, and web service orchestration. ...
154
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...