Sciweavers

5387 search results - page 896 / 1078
» Generating generic functions
Sort
View
HOST
2009
IEEE
15 years 10 months ago
New Design Strategy for Improving Hardware Trojan Detection and Reducing Trojan Activation Time
Hardware Trojans in integrated circuits and systems have become serious concern to fabless semiconductor industry and government agencies in recent years. Most of the previously p...
Hassan Salmani, Mohammad Tehranipoor, Jim Plusquel...
ACSC
2004
IEEE
15 years 10 months ago
Automatic Derivation of Loop Termination Conditions to Support Verification
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
Daniel Powell
APSEC
2004
IEEE
15 years 10 months ago
A Systematic Method to Instantiate Core Assets in Product Line Engineering
Product line engineering (PLE) is one of the recent and effective reuse approaches, and it consists of two processes; framework engineering and application engineering. Framework ...
Soo Dong Kim, Soo Ho Chang, Chee Won Chang
BIBE
2004
IEEE
149views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Interactive 3D Protein Structure Visualization Using Virtual Reality
Large-scale biomedical data sets of macromolecular structures such as DNA and proteins describe highly complex biomolecular entities which often consist of thousands of atoms and ...
Elke Moritz, Jörg Meyer
ATAL
2006
Springer
15 years 10 months ago
How equitable is rational negotiation?
Notions of fairness have recently received increased attention in the context of resource allocation problems, pushed by diverse applications where not only pure utilitarian effic...
Sylvia Estivie, Yann Chevaleyre, Ulle Endriss, Nic...