2470 search results - page 398 / 494 » Liveness-Preserving Simulation Relations |
115
Voted
CCECE
2006
IEEE
15 years 6 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
CCGRID
2006
IEEE
15 years 6 months ago
2006
IEEE
Resource sharing across different computers and organizations makes it possible to support diverse, dynamic changing resource requirements of distributed applications. Reservation...
93
Voted
CLUSTER
2006
IEEE
15 years 6 months ago
2006
IEEE
Simulations, experiments and observatories are generating a deluge of scientific data. Even more staggering is the ever growing application demand to process and assimilate these...
87
Voted
DSD
2006
IEEE
15 years 6 months ago
2006
IEEE
We propose a power model for the Nostrum NoC. For this purpose an empirical power model of links and switches has been formulated and validated with the Synopsys Power Compiler. T...
127
click to vote
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— In order to fully exploit the aggregate bandwidth available in the radio spectrum, future Wireless Mesh Networks (WMN) are expected to take advantage of multiple orthogonal cha...