1021 search results - page 80 / 205 » Pure Subtype Systems |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
In this paper, we propose a distributed solution to the problem of configuring classifier trees in distributed stream mining systems. The configuration involves selecting appro...
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, we propose two novel pre–equalization schemes for multiple–input single–output (MISO) direct–sequence ultra–wideband (DS–UWB) systems with pre–Rake ...
SCAM
2007
IEEE
14 years 2 months ago
2007
IEEE
Java bytecode instrumentation is a widely used technique, especially for profiling purposes. In order to ensure the instrumentation of all classes in the system, including dynami...