Sciweavers

5830 search results - page 270 / 1166
» Automatic link generation
Sort
View
DAC
2002
ACM
16 years 7 months ago
Deriving a simulation input generator and a coverage metric from a formal specification
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
Kanna Shimizu, David L. Dill
PERCOM
2007
ACM
16 years 6 months ago
Ontology-Directed Generation of Frameworks for Pervasive Service Development
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
Charles Consel, Wilfried Jouve, Julien Lancia, Nic...
IV
2009
IEEE
169views Visualization» more  IV 2009»
16 years 1 months ago
Algebraic Guide Generation
Suitable reference marks are an important part of creating an understandable visualization. The reference marks create the frame in which the data is understood, thereby preservin...
Joseph A. Cottam, Andrew Lumsdaine
DATE
2008
IEEE
121views Hardware» more  DATE 2008»
16 years 1 months ago
On Automated Trigger Event Generation in Post-Silicon Validation
When searching for functional bugs in silicon, debug data is acquired after a trigger event occurs. A trigger event can be configured at run-time using a set of control registers...
Ho Fai Ko, Nicola Nicolici
ACCV
2007
Springer
16 years 26 days ago
An Occupancy-Depth Generative Model of Multi-view Images
This paper presents an occupancy based generative model of stereo and multi-view stereo images. In this model, the space is divided into empty and occupied regions. The depth of a ...
Pau Gargallo, Peter F. Sturm, Sergi Pujades