208 search results - page 14 / 42 » Performance evaluation and model checking join forces |
VLDB
2004
ACM
14 years 28 days ago
2004
ACM
PIVOT and UNPIVOT, two operators on tabular data that exchange rows and columns, enable data transformations useful in data modeling, data analysis, and data presentation. They ca...
EPEW
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. The adequate system performance is usually a critical requirement to be checked during the verification phase of a system. Thus, accurately measuring the performance of c...
IUI
2010
ACM
14 years 4 months ago
2010
ACM
We developed an augmented reality (AR) dental training simulator utilizing a haptic (force feedback) device. A number of dental procedures such as crown preparation and opening ac...
ICCD
2007
IEEE
13 years 11 months ago
2007
IEEE
Transaction-level modeling (TLM) allows a designer to save functional verification effort during the modular refinement of an SoC by reusing the prior implementation of a module a...
HPCA
1998
IEEE
13 years 12 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...