Sciweavers

819 search results - page 21 / 164
» Acknowledgements
Sort
View
ICS
1997
Tsinghua U.
14 years 26 days 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»
14 years 9 days 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
13 years 10 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
13 years 10 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
13 years 10 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