8190 search results - page 1369 / 1638 » From Timed to Hybrid Systems |
171
click to vote
ARITH
2009
IEEE
16 years 1 months ago
2009
IEEE
Moduli of the form 2n ± 1, which greatly simplify certain arithmetic operations in residue number systems (RNS), have been of longstanding interest. A steady stream of designs fo...
189
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
190
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
More and more services are available on public terminals. Due to their public location and permanent availability, they can easily fall victim to manipulation. These manipulations...
144
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Outlyingness is a subjective concept relying on the isolation level of a (set of) record(s). Clustering-based outlier detection is a field that aims to cluster data and to detect...
178
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...