2436 search results - page 317 / 488 » Comonadic Notions of Computation |
157
click to vote
ISPA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...
159
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
147
click to vote
STACS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider the problem of scheduling jobs on related machines owned by selfish agents and provide the first deterministic mechanisms with constant approximation that a...
116
click to vote
FOCS
2003
IEEE
15 years 10 months ago
2003
IEEE
: Can Grover’s algorithm speed up search of a physical region—for example a 2-D grid of size √ n × √ n? The problem is that √ n time seems to be needed for each query, j...
104
click to vote
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper provides a first idea on changes induced by new ICT that goes ‘beyond mobile’. Main aspects considered are value creation structures, value proposition of products ...