Sciweavers

2797 search results - page 101 / 560
» Control Structures
Sort
View
100
Voted
ICMENS
2003
IEEE
54views Hardware» more  ICMENS 2003»
15 years 10 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
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 9 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 9 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
133
Voted
GECCO
2008
Springer
164views Optimization» more  GECCO 2008»
15 years 5 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
132
Voted
TIP
2008
208views more  TIP 2008»
15 years 4 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