31 search results - page 2 / 7 » Instantaneous Transitions in Esterel |
CPHYSICS
2011
13 years 23 days ago
2011
In this work we examine the time-resolved, instantaneous current response for the spinless Falicov-Kimball model at half-filling, on both sides of the Mott-Hubbard metal-insulato...
ENTCS
2006
13 years 5 months ago
2006
We consider the issue of exploiting the structural form of ESTEREL programs to partition the algorithmic RSS (reachable state space) fix-point construction used in model-checking t...
ICASSP
2010
IEEE
13 years 6 months ago
2010
IEEE
In advanced heterogeneous telecommunication networks, network resources can dynamically dictate the type of speech coding that is used. An increase in resources allows for lower c...
RTAS
2003
IEEE
13 years 11 months ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
TSP
2008
13 years 5 months ago
2008
A space-time optimal power schedule for multiple distributed multiple-input multiple-output (MIMO) links without the knowledge of the instantaneous channel state information at th...