Sciweavers

4018 search results - page 116 / 804
» Process algebra for performance evaluation
Sort
View
123
Voted
DATE
2010
IEEE
166views Hardware» more  DATE 2010»
15 years 8 months ago
A special-purpose compiler for look-up table and code generation for function evaluation
Abstract—Elementary functions are extensively used in computer graphics, signal and image processing, and communication systems. This paper presents a special-purpose compiler th...
Yuanrui Zhang, Lanping Deng, Praveen Yedlapalli, S...
121
Voted
ISCA
1996
IEEE
103views Hardware» more  ISCA 1996»
15 years 7 months ago
Evaluation of Design Alternatives for a Multiprocessor Microprocessor
In the future, advanced integrated circuit processing and packaging technology will allow for several design options for multiprocessor microprocessors. In this paper we consider ...
Basem A. Nayfeh, Lance Hammond, Kunle Olukotun
144
Voted
SIGMOD
1998
ACM
143views Database» more  SIGMOD 1998»
15 years 7 months ago
Interaction of Query Evaluation and Buffer Management for Information Retrieval
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
Björn Þór Jónsson, Michae...
133
Voted
TVCG
2008
122views more  TVCG 2008»
15 years 3 months ago
Interactive Entity Resolution in Relational Data: A Visual Analytic Tool and Its Evaluation
Databases often contain uncertain and imprecise references to real-world entities. Entity resolution, which is the process of reconciling multiple references to underlying real-wor...
Hyunmo Kang, Lise Getoor, Ben Shneiderman, Mustafa...
114
Voted
FM
2009
Springer
155views Formal Methods» more  FM 2009»
15 years 10 months ago
Towards an Operational Semantics for Alloy
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
Theophilos Giannakopoulos, Daniel J. Dougherty, Ka...