1188 search results - page 73 / 238 » Modeling synchronized time series |
111
click to vote
TSP
2010
14 years 6 months ago
2010
Spectrum sharing employs dynamic allocation of frequency resources for a more efficient use of the radio spectrum. Despite its appealing features, this technology inevitably compli...
ICMT
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
134
click to vote
VLSID
2010
IEEE
14 years 9 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
105
click to vote
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
WEBI
2005
Springer
15 years 5 months ago
2005
Springer
This paper addresses the adaptation of dynamic and synchronized multimedia presentations built by querying XML compatible data sources. We provide WIS designers with facilities fo...