3379 search results - page 70 / 676 » Powers of Two |
IANDC
2008
14 years 11 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
IBMRD
2006
14 years 11 months ago
2006
Because they are based on large content-addressable memories, load-store queues (LSQ) present implementation challenges in superscalar processors, especially as issue width and nu...
TSMC
2011
14 years 6 months ago
2011
This paper presents new approach to power system automation, based on distributed intelligence rather than traditional centralised control. The paper investigates the interplay bet...
139
click to vote
HPDC
2012
IEEE
13 years 1 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
We consider wireless networks that can be modeled by multiple access channels in which all the terminals are equipped with multiple antennas. The propagation model used to account...