Sciweavers

819 search results - page 21 / 164
» Acknowledgements
Sort
View
ICS
1997
Tsinghua U.
15 years 3 months ago
Optimizing Matrix Multiply Using PHiPAC: A Portable, High-Performance, ANSI C Coding Methodology
Modern microprocessors can achieve high performance on linear algebra kernels but this currently requires extensive machine-speci c hand tuning. We have developed a methodology wh...
Jeff Bilmes, Krste Asanovic, Chee-Whye Chin, James...
ASYNC
1997
IEEE
83views Hardware» more  ASYNC 1997»
15 years 3 months ago
Response Time Properties of Some Asynchronous Circuits
Wediscuss response timeproperties of linear arrays and tree-like arrays of cells with various handshake communication behaviours. The response times of a networkare the delays bet...
Jo C. Ebergen, Robert Berks
EACL
2010
ACL Anthology
15 years 1 months ago
Probabilistic Approaches for Modeling Text Structure and Their Application to Text-to-Text Generation
Abstract. Since the early days of generation research, it has been acknowledged that modeling the global structure of a document is crucial for producing coherent, readable output....
Regina Barzilay
OWLED
2008
15 years 1 months ago
Calculations in OWL
The current OWL specification does not include a syntax for specifying calculated values for data type properties. Their introduction, although acknowledged among the desiderata, s...
Luigi Iannone, Alan L. Rector
WOTUG
2008
15 years 1 months ago
Mechanical Verification of a Two-Way Sliding Window Protocol
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
Bahareh Badban, Wan Fokkink, Jaco van de Pol