5639 search results - page 418 / 1128 » Timed Abstract Non-interference |
121
Voted
AAECC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. New algorithms are described and analysed for solving various problems associated with a large integer matrix: computing the Hermite form, computing a kernel basis, and s...
141
click to vote
ICICS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. In electronic commerce, traded digital objects are likely associated with several numerical values as well as their prices. These values may change unpredictably over tim...
150
Voted
ICC
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract—A major issue in router design for the next generation Internet is the fast IP address lookup mechanism. The existing scheme by Huang et al. performs the IP address look...
129
Voted
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. The standard serial algorithm for strongly connected components is based on depth rst search, which is di cult to parallelize. We describe a divide-and-conquer algorithm ...
127
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...