6248 search results - page 951 / 1250 » Programming in a data factory |
155
click to vote
APSEC
2005
IEEE
16 years 7 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
180
click to vote
CCGRID
2005
IEEE
16 years 7 days ago
2005
IEEE
Dynamically partitioning of adaptive applications and migration of excess workload from overloaded processors to underloaded processors during execution are critical techniques ne...
169
click to vote
CLUSTER
2005
IEEE
16 years 7 days ago
2005
IEEE
The Portals data movement interface was developed at Sandia National Laboratories in collaboration with the University of New Mexico over the last ten years. Portals is intended t...
170
click to vote
DATE
2005
IEEE
16 years 7 days ago
2005
IEEE
Main memories can consume a large percentage of overall energy in many data-intensive embedded applications. The past research proposed and evaluated memory banking as a possible ...
172
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
— We consider wireless sensor networks with multiple gateways and multiple classes of traffic carrying data generated by different sensory inputs. The objective is to devise joi...