4520 search results - page 376 / 904 » Algebraic Techniques for Timed Systems |
192
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Program-counter-based (PC-based) prediction techniques have been shown to be highly effective and are widely used in computer architecture design. In this paper, we explore the op...
240
click to vote
KDD
2008
ACM
16 years 8 months ago
2008
ACM
We present an approach to reconstructing chemical reaction networks from time series measurements of the concentrations of the molecules involved. Our solution strategy combines t...
252
click to vote
ICDCS
2009
IEEE
16 years 4 months ago
2009
IEEE
We address issues related to privacy protection in location-based services (LBS). Most existing research in this field either requires a trusted third-party (anonymizer) or uses ...
204
click to vote
ICST
2009
IEEE
16 years 2 months ago
2009
IEEE
To date we have developed and applied numerous model-based GUI testing techniques; however, we are unable to provide definitive improvement schemes to real-world GUI test planners...
218
click to vote
IPPS
2008
IEEE
16 years 2 months ago
2008
IEEE
High-performance microprocessors, e.g., multithreaded and multicore processors, are being implemented in embedded real-time systems because of the increasing computational require...