Sciweavers

2797 search results - page 101 / 560
» Control Structures
Sort
View
ICMENS
2003
IEEE
54views Hardware» more  ICMENS 2003»
15 years 7 months ago
Spin Detection and Injection Using Ferromagnetic Metal and Semiconductor Hybrid Structure
We investigated spin-dependent transport properties from a viewpoint of spin detection and injection using a ferromagnetic metal / insulator (Al2O3)/ semiconductor tunnel junction...
T. Manago
118
Voted
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 6 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
POPL
2000
ACM
15 years 6 months ago
Type Systems for Distributed Data Structures
Distributed-memory programs are often written using a global address space: any process can name any memory location on any processor. Some languages completely hide the distincti...
Ben Liblit, Alexander Aiken
GECCO
2008
Springer
164views Optimization» more  GECCO 2008»
15 years 3 months ago
Genetic algorithms with local search optimization for protein structure prediction problem
This paper presents a new Genetic Algorithm for Protein Structure Prediction problem in both 2D and 3D hydrophobichydrophilic lattice models, introduced in [1]. Our algorithm evol...
Igor Berenboym, Mireille Avigal
TIP
2008
208views more  TIP 2008»
15 years 2 months ago
Vision Processing for Realtime 3-D Data Acquisition Based on Coded Structured Light
Structured light vision systems have been successfully used for accurate measurement of 3-D surfaces in computer vision. However, their applications are mainly limited to scanning ...
S. Y. Chen, Y. F. Li, Jianwei Zhang