12032 search results - page 768 / 2407 » Simulation of Manufacturing Systems |
225
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
The paper introduces symbolic bisimulations for a simple probabilistic π-calculus to overcome the infinite branching problem that still exists in checking ground bisimulations b...
227
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
—We consider a receive antenna selection MIMO system, where only one receive antenna is selected out of Nr antennas. Spatial channel correlation will be considered at the receive...
124
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Placing relays around the base station (BS) to assist wireless communication is an effective way of extending coverage in cellular systems. This paper provides a quantitative a...
180
click to vote
APPT
2007
Springer
16 years 1 months ago
2007
Springer
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...
218
click to vote
GRID
2007
Springer
16 years 1 months ago
2007
Springer
Since grid computing provides users with more distributed computing and storage resources, it gives us an opportunity to design new efficient and robust solvers for the numerical...