10284 search results - page 426 / 2057 » Designing for nomadic work |
147
click to vote
MOC
2000
15 years 6 months ago
2000
In this paper we point out that bivariate vector valued rational interpolants (BVRI) have much to do with the vector-grid to be interpolated. When a vector-grid is well-defined, on...
188
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
roperty Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines Dong Wang , Pei-Hsin Ho , Jiang Long , James Kukula Yunshan Zhu , Tony Ma , Robert D...
185
click to vote
COMPGEOM
2001
ACM
15 years 10 months ago
2001
ACM
This presentation illustrates examples of my geometric sculpture and outlines certain design techniques. I apply methods from the field of computational geometry to the creation o...
213
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...
155
click to vote
GLVLSI
2003
IEEE
16 years 2 days ago
2003
IEEE
Concerned by the wall that Moore’s Law is expected to hit in the next decade, the integrated circuit community is turning to emerging nanotechnologies for continued device impro...