7167 search results - page 1129 / 1434 » A Technique for Invariant Generation |
191
Voted
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
Current lithography techniques use a light wavelength of 193nm to print sub-65nm features. This introduces process variations which cause mismatches between desired and actual waf...
226
Voted
GLVLSI
2009
IEEE
15 years 11 months ago
2009
IEEE
The rapidly expanding diversity of technology available at the nanoscale is disrupting the existing transistorcentric microelectronics design paradigm, resulting in nearly decade-l...
198
click to vote
ICDIM
2007
IEEE
15 years 11 months ago
2007
IEEE
Users in ubiquitous and pervasive computing environments will be much more empowered in ways to access and to control their navigation. Handover, the vital event in which a user c...
212
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
173
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
Experimental structure analysis of biological molecules (e.g, proteins) or macromolecular complexes (e.g, viruses) can be used to generate three-dimensional density maps of these e...