Sciweavers

4211 search results - page 601 / 843
» A formal approach to MASQ
Sort
View
DATE
2009
IEEE
87views Hardware» more  DATE 2009»
16 years 1 months ago
Multi-clock Soc design using protocol conversion
The automated design of SoCs from pre-selected IPs that may require different clocks is challenging because of the following issues. Firstly, protocol mismatches between IPs need ...
Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Sa...
MODELS
2009
Springer
16 years 1 months ago
Modeling Heterogeneous Points of View with ModHel'X
Abstract. Non-functional properties (NFPs) concern various characteristics of a system (cost, power, QoS). These characteristics belong to different models of the system, built by...
Frédéric Boulanger, Christophe Jacqu...
SACRYPT
2009
Springer
130views Cryptology» more  SACRYPT 2009»
16 years 1 months ago
Format-Preserving Encryption
Format-preserving encryption (FPE) encrypts a plaintext of some specified format into a ciphertext of identical format—for example, encrypting a valid credit-card number into a ...
Mihir Bellare, Thomas Ristenpart, Phillip Rogaway,...
ICDM
2008
IEEE
117views Data Mining» more  ICDM 2008»
16 years 1 months ago
Improving Collaborative Filtering Recommendations Using External Data
This paper describes an approach for incorporating externally specified aggregate ratings information into certain types of collaborative filtering (CF) methods. For a statistic...
Akhmed Umyarov, Alexander Tuzhilin
ICTAI
2008
IEEE
16 years 1 months ago
Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
Chunying Zhao, Keven Ates, Jun Kong, Kang Zhang