6358 search results - page 1100 / 1272 » Computing spectral sequences |
127
click to vote
FOSSACS
2004
Springer
15 years 10 months ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
132
Voted
FPGA
2004
ACM
15 years 10 months ago
2004
ACM
We present the design of a high-performance, highly pipelined asynchronous FPGA. We describe a very fine-grain pipelined logic block and routing interconnect architecture, and sh...
148
click to vote
ICALP
2004
Springer
15 years 10 months ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
134
Voted
MFCS
2004
Springer
15 years 10 months ago
2004
Springer
We study constructive and resource-bounded scaled dimension as an information content measure and obtain several results that parallel previous work on unscaled dimension. Scaled ...
146
click to vote
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...