Sciweavers

1123 search results - page 196 / 225
» Analysis of Timed Processes with Data Using Algebraic Transf...
Sort
View
POPL
1994
ACM
14 years 28 days ago
Formally Optimal Boxing
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
Fritz Henglein, Jesper Jørgensen
LREC
2010
144views Education» more  LREC 2010»
13 years 10 months ago
Evaluating Complex Semantic Artifacts
Evaluating complex Natural Language Processing (NLP) systems can prove extremely difficult. In many cases, the best one can do is to evaluate these systems indirectly, by looking ...
Christopher R. Walker, Hannah Copperman
CASCON
1996
196views Education» more  CASCON 1996»
13 years 10 months ago
Monitoring overhead in distributed systems: visualization and estimation techniques
Monitoring distributed systems involves the collection, analysis, and display of interactions among managed objects. These functions are carried out by the components of a monitor...
Hasina Abdu, Hanan Lutfi Lutfiyya, Michael A. Baue...
SIGMOD
2009
ACM
213views Database» more  SIGMOD 2009»
14 years 9 months ago
Dictionary-based order-preserving string compression for main memory column stores
Column-oriented database systems [19, 23] perform better than traditional row-oriented database systems on analytical workloads such as those found in decision support and busines...
Carsten Binnig, Stefan Hildenbrand, Franz Fär...
PLDI
2011
ACM
12 years 11 months ago
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors
MATLAB is an array language, initially popular for rapid prototyping, but is now being increasingly used to develop production code for numerical and scientific applications. Typ...
Ashwin Prasad, Jayvant Anantpur, R. Govindarajan