4520 search results - page 421 / 904 » Algebraic Techniques for Timed Systems |
317
click to vote
VLSI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
201
click to vote
CCGRID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Reducing energy consumption for high end computing can bring various benefits such as, reduce operating costs, increase system reliability, and environment respect. This ...
393
click to vote
KDD
2012
ACM
13 years 10 months ago
2012
ACM
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
225
click to vote
COMSWARE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...
154
click to vote
CHI
2005
ACM
16 years 8 months ago
2005
ACM
We present a new interaction technique for computer-based reading tasks. Our technique leverages users' peripheral vision as a channel for information transfer by using a vid...