Sciweavers

35416 search results - page 299 / 7084
» Evaluation
Sort
View
DATE
2008
IEEE
129views Hardware» more  DATE 2008»
16 years 1 months ago
Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques
The evaluation of extra-functional properties of embedded systems, such as reliability, timeliness, and energy consumption, as well as dealing with uncertainty, e.g., in the timin...
Joost-Pieter Katoen
IISWC
2008
IEEE
16 years 1 months ago
Accelerating multi-core processor design space evaluation using automatic multi-threaded workload synthesis
The design and evaluation of microprocessor architectures is a difficult and time-consuming task. Although small, handcoded microbenchmarks can be used to accelerate performance e...
Clay Hughes, Tao Li
TPHOL
2008
IEEE
16 years 1 months ago
A Compiled Implementation of Normalization by Evaluation
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
Klaus Aehlig, Florian Haftmann, Tobias Nipkow
CCGRID
2007
IEEE
16 years 1 months ago
Performance Evaluation in Grid Computing: A Modeling and Prediction Perspective
Experimental performance studies on computer systems, including Grids, require deep understandings on their workload characteristics. The need arises from two important and closel...
Hui Li
ICC
2007
IEEE
16 years 29 days ago
Performance Analysis and Evaluation of VDSL2 Systems: Band-Plan Study
— In this paper we discuss the performance of different profiles of VDSL2 systems in a frequency range up to 12 MHz (bandplan 998 and 997, corresponding to the European region) u...
Hernán Córdova, Teun van der Veen, L...