4688 search results - page 750 / 938 » Dynamics of Control |
173
click to vote
PUC
2000
15 years 6 months ago
2000
Much of the ongoing research in ubiquitous computing has concentrated on providing context information, e.g. location information, to the level of services and applications. Typic...
208
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
The number of cores in a single chip multiprocessor is expected to grow in coming years. Likewise, aggregate on-chip cache capacity is increasing fast and its effective utilizatio...
281
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
189
click to vote
IEEECIT
2009
IEEE
16 years 1 months ago
2009
IEEE
Cloud platforms host several independent applications on a shared resource pool with the ability to allocate computing power to applications on a per-demand basis. The use of serv...
182
click to vote
ICCAD
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...