1887 search results - page 321 / 378 » Annotation Framework Validation Using Domain Models |
144
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
101
click to vote
ASYNC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
114
Voted
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
113
Voted
GG
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Amalgamation is a well-known concept for graph transformations in order to model synchronized parallelism of rules with shared subrules and corresponding transformations....
128
Voted
BMVC
2010
14 years 9 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...