487 search results - page 59 / 98 » A Compiled Implementation of Normalization by Evaluation |
128
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...
157
click to vote
PERVASIVE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. When smart objects participate in context-aware applications, changes in their real-world environment can have a significant impact on underlying networking structures. ...
123
Voted
SAIG
2000
Springer
15 years 7 months ago
2000
Springer
Achieving peak performance in important numerical kernels such as dense matrix multiply or sparse-matrix vector multiplication usually requires extensive, machine-dependent tuning ...
138
click to vote
SE
2010
15 years 4 months ago
2010
: Performance is an extra-functional property of software systems which is often critical for achieving sufficient scalability or efficient resource utilisation. As many applicatio...
117
click to vote
USENIX
1996
15 years 4 months ago
1996
The current trend in operating systems research is to allow applications to dynamically extend the kernel to improve application performance or extend functionality, but the most ...