5830 search results - page 783 / 1166 » Automatic link generation |
194
click to vote
ASAP
2008
IEEE
15 years 9 months ago
2008
IEEE
Automatic generation of custom instruction processors from high-level application descriptions enables fast design space exploration, while offering very favorable performance and...
197
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
174
click to vote
CADE
2005
Springer
15 years 8 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
223
click to vote
CVDB
2005
ACM
15 years 8 months ago
2005
ACM
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...
186
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Structured document content reuse is the problem of restructuring and translating data structured under a source schema into an instance of a target schema. A notion closely tied ...