Sciweavers

9841 search results - page 579 / 1969
» Distributed Value Functions
Sort
View
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
15 years 11 months ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...
ICCAD
1992
IEEE
148views Hardware» more  ICCAD 1992»
15 years 11 months ago
McPOWER: a Monte Carlo approach to power estimation
Excessive power dissipation in integrated circuits causes overheating and can lead to soft errors and or permanent damage. The severity of the problem increases in proportion to t...
Richard Burch, Farid N. Najm, Ping Yang, Timothy N...
IMAGING
2004
15 years 8 months ago
Optimal Linear RGB-to-XYZ Mapping for Color Display Calibration
Color display calibration, in part, involves mapping input RGB values to corresponding output values in a standardized color space such as CIE XYZ. A linear model for RGB-to-XYZ m...
Behnam Bastani, Roozbeh Ghaffari, Brian V. Funt
OPODIS
2004
15 years 8 months ago
Optimal Resilience Asynchronous Approximate Agreement
Consider an asynchronous system where each process begins with an arbitrary real value. Given some fixed > 0, an approximate agreement algorithm must have all non-faulty process...
Ittai Abraham, Yonatan Amit, Danny Dolev
SFP
2003
15 years 8 months ago
Testing reactive systems with GAST
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
Pieter W. M. Koopman, Rinus Plasmeijer