7943 search results - page 1433 / 1589 » A calculus for costed computations |
123
click to vote
SPAA
2006
ACM
16 years 13 days ago
2006
ACM
This paper investigates time-efficient implementations of atomic read-write registers in message-passing systems where the number of readers can be unbounded. In particular we st...
157
click to vote
ACSC
2005
IEEE
16 years 4 days ago
2005
IEEE
Component based software engineering (CBSE), can in principle lead to savings in the time and cost of software development, by encouraging software reuse. However the reality is t...
140
click to vote
CCGRID
2005
IEEE
16 years 3 days ago
2005
IEEE
Simple resource specification, resource selection, and effective binding are critical capabilities for Grid middleware. We the Virtual Grid, an abstraction for dynamic grid applic...
162
click to vote
DSN
2005
IEEE
16 years 3 days ago
2005
IEEE
In this paper, we consider the problem of survivable network design in traffic groomed optical WDM mesh networks with sub-wavelength capacity connections. In typical survivable n...
188
click to vote
DSN
2005
IEEE
16 years 3 days ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...