Search
Now showing items 1-3 of 3
A novel abstraction-guided simulation approach using posterior probabilities for verification
Publisher: IEEE
Year: 2014
Solving Solid and Fluid Mechanics Problems in the Cloud with mOSAIC
Publisher: IEEE
Year: 2014
Design and implementation of distributed dynamic spectrum allocation protocol
Publisher: IEEE
Year: 2014