5376 search results - page 923 / 1076 » Scalable Kernel Systems |
175
click to vote
ITRUST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract The Internet provides a ubiquitous, standards-based substrate for global communications of all kinds. Rapid advances are now being made in agreeing protocols and machine-p...
127
click to vote
MWCN
2004
Springer
15 years 9 months ago
2004
Springer
Inter-vehicle communication is becoming increasingly important in recent years. Traditional research efforts on vehicular networks have been put into safety or infotainment applica...
147
click to vote
MWCN
2004
Springer
15 years 9 months ago
2004
Springer
: In Mobile Ad Hoc Networks (MANETs), all participating hosts are obligated to route and forward data for others to guarantee the availability of network applications and services....
184
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
161
click to vote
CLUSTER
2003
IEEE
15 years 9 months ago
2003
IEEE
At UCLA's Plasma Physics Group, to achieve accessible computational power for our research goals, we developed the tools to build numerically-intensive parallel computing clu...