1040 search results - page 72 / 208 » A New Periodicity Lemma |
173
click to vote
RTAS
2009
IEEE
16 years 27 days ago
2009
IEEE
This paper presents a new algorithm for fixed-priority scheduling of sporadic task systems on multiprocessors. The algorithm is categorized to such a scheduling class that quali...
163
click to vote
ATAL
2009
Springer
16 years 22 days ago
2009
Springer
Longitudinal studies of human-virtual agent interaction are expensive and time consuming to conduct. We present a new concept and tool for conducting such studies—the virtual la...
144
click to vote
FM
2009
Springer
16 years 22 days ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
174
click to vote
ISMIS
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. Novelty detection in data stream mining denotes the identification of new or unknown situations in a stream of data elements flowing continuously in at rapid rate. This...
141
click to vote
P2P
2008
IEEE
16 years 16 days ago
2008
IEEE
We introduce transaction rate limiters, new mechanisms that limit (probabilistically) the maximum number of transactions a user of a peer-to-peer system can do in any given period...