Sciweavers

4897 search results - page 630 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
ACSC
2003
IEEE
16 years 2 days ago
A Unifying Semantic Distance Model for Determining the Similarity of Attribute Values
The relative difference between two data values is of interest in a number of application domains including temporal and spatial applications, schema versioning, data warehousing...
John F. Roddick, Kathleen Hornsby, Denise de Vries
SEW
2006
IEEE
16 years 23 days ago
Integrating Probability with Time and Shared-Variable Concurrency
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
Huibiao Zhu, Shengchao Qin, Jifeng He, Jonathan P....
VLSID
2004
IEEE
138views VLSI» more  VLSID 2004»
16 years 7 months ago
Synthesis-driven Exploration of Pipelined Embedded Processors
Recent advances on language based software toolkit generation enables performance driven exploration of embedded systems by exploiting the application behavior. There is a need fo...
Prabhat Mishra, Arun Kejariwal, Nikil Dutt
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 25 days ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
DIS
2001
Springer
15 years 11 months ago
Theory Revision in Equation Discovery
Abstract. State of the art equation discovery systems start the discovery process from scratch, rather than from an initial hypothesis in the space of equations. On the other hand,...
Ljupco Todorovski, Saso Dzeroski