5356 search results - page 903 / 1072 » Adventures in time and space |
114
click to vote
ENGL
2007
15 years 1 months ago
2007
— Multiple-Input Multiple-Output (MIMO) systems are composed of source and destination nodes with multiple antennas. But, when nodes cannot support multiple antennas due to size ...
157
click to vote
JPDC
2006
15 years 1 months ago
2006
Quality of service (QoS) assurance is a major concern in media-on-demand (MoD) systems. Admission control is one of the most important issues that need to be addressed for QoS ass...
119
Voted
ENTCS
2007
15 years 1 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
102
click to vote
ENTCS
2007
15 years 1 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
100
click to vote
JSA
2006
15 years 1 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...