4666 search results - page 628 / 934 » Equations on Timed Languages |
177
click to vote
UM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Recent sensor technologies have enabled the capture of users’ behavior data. Given the large amount of data currently available from sensor-equipped environments, it is...
159
click to vote
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
We present a simple algorithmic extension of the classical call-strings approach to mitigate substantial performance degradation caused by spurious interprocedural cycles. Spuriou...
188
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...
138
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
Web and print exist as two solitudes: printed web pages often disappoint and converting print documents into good web pages is hard. A wiki makes it easy for authors to create ric...
175
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents the following results on sets that are complete for NP. (i) If there is a problem in NP that requires 2nΩ(1) time at almost all lengths, then every many-one N...