Sciweavers

7886 search results - page 183 / 1578
» An evaluation of bipartitioning techniques
Sort
View
DSVIS
2006
Springer
15 years 10 months ago
Interaction Walkthrough: Evaluation of Safety Critical Interactive Systems
Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluatio...
Harold W. Thimbleby
IJCSA
2007
113views more  IJCSA 2007»
15 years 7 months ago
Experimental Dependability Evaluation of Memory Manager in the Real-time Operating System
The paper presents results of experimental dependability evaluation of the Phoenix-RTOS operating system. Experiments are conducted using a self-developed testing environment and ...
Pawel Pisarczyk
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
15 years 5 months ago
Interleaving Symbolic Execution and Partial Evaluation
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
Richard Bubel, Reiner Hähnle, Ran Ji
ICDE
2010
IEEE
202views Database» more  ICDE 2010»
16 years 6 months ago
Generating code for holistic query evaluation
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
Konstantinos Krikellas, Marcelo Cintra, Stratis Vi...
SSD
2007
Springer
116views Database» more  SSD 2007»
16 years 1 months ago
Continuous Constraint Query Evaluation for Spatiotemporal Streams
In this paper we study the evaluation of continuous constraint queries (CCQs) for spatiotemporal streams. A CCQ triggers an alert whenever a configuration of constraints between s...
Marios Hadjieleftheriou, Nikos Mamoulis, Yufei Tao