5623 search results - page 900 / 1125 » Incremental Mechanism Design |
169
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
180
click to vote
ISORC
1999
IEEE
15 years 11 months ago
1999
IEEE
As networks and the use of communication within applications continue to grow and find more uses, so too does the demand for more control and manageability of various "system...
182
click to vote
IWCC
1999
IEEE
15 years 11 months ago
1999
IEEE
PODOS is a performance oriented distributed operating system being developed to harness the performance capabilities of a cluster computing environment. In order to address the gr...
194
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
157
click to vote
VISUALIZATION
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a new visualization method for 2d flows which allows us to combine multiple data values in an image for simultaneous viewing. We utilize concepts from oil painting, art...