3172 search results - page 421 / 635 » Combining Specification Techniques for Processes, Data and T... |
169
click to vote
ICIP
2007
IEEE
16 years 25 days ago
2007
IEEE
Significant power savings can be achieved on voltage/frequency configurable platforms by dynamically adapting the frequency and voltage according to the workload (complexity). Vid...
166
click to vote
INFSOF
2006
15 years 6 months ago
2006
Problems related to interactions between components is a sign of problems with the software architecture of the system and are often costly to fix. Thus it is very desirable to id...
188
click to vote
DAC
2008
ACM
16 years 7 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...
182
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
We study the problem of simultaneously estimating several densities where the datasets are organized into overlapping groups, such as a hierarchy. For this problem, we propose a m...
174
click to vote
MM
2005
ACM
16 years 2 days ago
2005
ACM
This paper is devoted to explore media correlation and media synchronization in a composite multimedia document, the so-called navigated hypermedia document in our language learni...