5639 search results - page 84 / 1128 » Timed Abstract Non-interference |
76
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
Superscalar processor developers are creatively leveraging best-in-class design verification tools to meet narrow market windows. Accelerated simulation is especially useful owing...
112
click to vote
CPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Suffix trees are the key data structure for text string matching, and are used in wide application areas such as bioinformatics and data compression. Sparse suffix trees ...
DSD
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract. Network-on-chip-based multiprocessor systems-onchip are considered as future embedded systems platforms. One of the steps in mapping an application onto such a parallel p...
87
Voted
CEC
2005
IEEE
15 years 1 months ago
2005
IEEE
Abstract- The main purpose of this work is to measure the effect of bargaining players’ information completeness on agreements in evolutionary environments. We apply Co-evolution...
ICECCS
2010
IEEE
15 years 2 days ago
2010
IEEE
Abstract— Maintaining semantic consistency of data is a significant problem in distributed information systems, particularly those on which a business may depend. Our current wo...