11172 search results - page 1974 / 2235 » Testing Physical Systems |
137
click to vote
ICPP
2005
IEEE
15 years 10 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
139
click to vote
ICPPW
2005
IEEE
15 years 10 months ago
2005
IEEE
— In a typical mobile ad hoc network, mobile computing devices wander autonomously and communicate via temporary links in a self-organized computing system without any central ad...
155
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
— One of the principal guidelines in the design of haptic devices is to provide a suitable mechanical design that can improve control performance and the force-feedback fidelity...
147
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose DotSlash, a self-configuring and scalable rescue system, for handling web hotspots at dynamic content web sites. To support load migration for dynamic content, an orig...
134
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...