Sciweavers

2020 search results - page 97 / 404
» Speeding up Slicing
Sort
View
114
Voted
MTV
2005
IEEE
81views Hardware» more  MTV 2005»
15 years 6 months ago
Search-Space Optimizations for High-Level ATPG
Our mutation based validation paradigm (MVP) is a validation environment for high-level microprocessor implementations. To be able to efficiently identify and analyze the architec...
Jorge Campos, Hussain Al-Asaad
PREMI
2005
Springer
15 years 6 months ago
Parallel Island Model for Attribute Reduction
Abstract. We develop a framework for parallel computation of the optimal rough set decision reducts from data. We adapt the island model for evolutionary computing. The idea is to ...
Mohammad M. Rahman, Dominik Slezak, Jakub Wroblews...
WLP
2005
Springer
15 years 6 months ago
Impact- and Cost-Oriented Propagator Scheduling for Faster Constraint Propagation
Constraint Propagation can be speeded up significantly by choosing a good execution order for propagators. A propagator is an implicit representation of a constraint which is wide...
Georg Ringwelski, Matthias Hoche
CRYPTO
2004
Springer
126views Cryptology» more  CRYPTO 2004»
15 years 6 months ago
Compressed Pairings
Pairing-based cryptosystems rely on bilinear non-degenerate maps called pairings, such as the Tate and Weil pairings defined over certain elliptic curve groups. In this paper we s...
Michael Scott, Paulo S. L. M. Barreto
87
Voted
EGOV
2004
Springer
15 years 6 months ago
e-Government Intermediation
The recently proposed intermediation schemes in e-government are meant to speed up and facilitate integration and access to services offered by local and regional public sector ser...
Aljosa Pasic, Anne-Marie Sassen, Alicia Garcia