3256 search results - page 387 / 652 » Applications of Formal Methods to System Design and Verifica... |
138
click to vote
DESRIST
2009
Springer
15 years 11 months ago
2009
Springer
Design science emphasizes the connection between knowledge and practice by showing that we can produce scientific knowledge by designing useful things. However, without further g...
159
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
When developing new designs, debugging the prototype is important to resolve application malfunction. During this board design debug, often a few pins of an IC are measured to che...
184
click to vote
ISMAR
2005
IEEE
16 years 5 days ago
2005
IEEE
Computer Aided Design applications have become designers’ inevitable tools for expressing and simulating innovative ideas and concepts. However, replacing traditional materials ...
179
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a method for controlling the appearance of an arbitrary 3D object using a projector and a camera. Our goal is to make one object look like another by projecting a caref...
190
click to vote
JSAC
2011
15 years 1 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...