152 search results - page 31 / 31 » Interactive verification of concurrent systems using symboli... |
NETWORK
2008
13 years 5 months ago
2008
Consider a scenario where Jane is at an airport. She wants to find a restaurant with healthy food and short waiting time on the way to her terminal. The airport can provide such s...
PDP
2011
IEEE
12 years 9 months ago
2011
IEEE
Abstract—Continuously reducing transistor sizes and aggressive low power operating modes employed by modern architectures tend to increase transient error rates. Concurrently, mu...