Sciweavers

3902 search results - page 528 / 781
» Hardware Synthesis from C C Models
Sort
View
ISPW
2008
IEEE
16 years 1 months ago
Accurate Estimates without Calibration?
Most process models calibrate their internal settings using historical data. Collecting this data is expensive, tedious, and often an incomplete process. Is it possible to make acc...
Tim Menzies, Oussama El-Rawas, Barry W. Boehm, Ray...
ASIACRYPT
2007
Springer
16 years 25 days ago
Two-Party Computing with Encrypted Data
We consider a new model for online secure computation on encrypted inputs in the presence of malicious adversaries. The inputs are independent of the circuit computed in the sense ...
Seung Geol Choi, Ariel Elbaz, Ari Juels, Tal Malki...
CCS
2010
ACM
15 years 4 months ago
Assessing trust in uncertain information using Bayesian description logic
Decision makers (humans or software agents alike) are faced with the challenge of examining large volumes of information originating from heterogeneous sources with the goal of as...
Achille Fokoue, Mudhakar Srivatsa, Robert Young
MMAS
2011
Springer
15 years 1 months ago
A Multiscale Method for Epitaxial Growth
In this paper we investigate a heterogeneous multiscale method (HMM) for interface tracking and apply the technique to the simulation of epitaxial growth. HMM relies on an efficien...
Yi Sun, Russel Caflisch, Björn Engquist
AIED
2011
Springer
14 years 10 months ago
Early Prediction of Cognitive Tool Use in Narrative-Centered Learning Environments
Narrative-centered learning environments introduce novel opportunities for supporting student problem solving and learning. By incorporating cognitive tools into plots and characte...
Lucy R. Shores, Jonathan P. Rowe, James C. Lester