974 search results - page 93 / 195 » Semantic Announcement Sharing |
191
Voted
FMSD
2007
15 years 5 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
156
click to vote
JUCS
2007
15 years 5 months ago
2007
: Integration of heterogeneous information in the context of Internet becomes a key activity to enable a more organized and semantically meaningful access to data sources. As Inter...
148
click to vote
IUI
2006
ACM
15 years 11 months ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
154
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Integrating more processor cores on-die has become the unanimous trend in the microprocessor industry. Most of the current research thrusts using chip multiprocessors (CMPs) as th...
182
click to vote
NETWORK
2008
15 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...