12052 search results - page 475 / 2411 » computing 2010 |
181
click to vote
ENTCS
2010
15 years 4 months ago
2010
s as an Abstract Domain Jacob M. Howe1,4 Dept of Computing, City University London, UK Andy King1,3,5 School of Computing, University of Kent, Canterbury, UK Charles Lawrence-Jones...
189
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
We introduce a geometric process algebra based on affine geometry, with the aim of describing the concurrent evolution of geometric structures in 3D space. We prove a relativity th...
167
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
151
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Current peer-to-peer (p2p) systems place the burden of application-level query execution on the application developer. Not only do application developers lack the experti...
199
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Large and complex systems of ordinary differential equations (ODEs) arise in diverse areas of science and engineering, and pose special challenges on a streaming processor owing to...