2850 search results - page 21 / 570 » On Timed Models and Full Abstraction |
92
Voted
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— In this paper, we propose a new MIMO-HSDPA transmission scheme with two transmit and two receive antennas, using an optimal Space-Time block code: the Golden code [1]. ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
80
Voted
WSC
2004
15 years 2 months ago
2004
Recursive simulation is the technique of having simulated decisionmakers themselves use simulation to inform their decisionmaking. Issues of efficiency require that the recursive ...
117
click to vote
PATMOS
2000
Springer
15 years 4 months ago
2000
Springer
Exploitation of data re-use in combination with the use of custom memory hierarchy that exploits the temporal locality of data accesses may introduce significant power savings, esp...
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...