2585 search results - page 477 / 517 » Automating Coherent Logic |
107
Voted
ICAS
2006
IEEE
15 years 6 months ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
114
Voted
ICNP
2006
IEEE
15 years 6 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
133
Voted
MTV
2006
IEEE
15 years 6 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
82
Voted
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
An increasing number of documents in companies and other organizations are now only available electronically, and exist in several versions updated at different times. In order to...
100
Voted
TIME
2006
IEEE
15 years 6 months ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...