4949 search results - page 799 / 990 » Consistency and Set Intersection |
181
click to vote
STTT
2010
15 years 4 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
179
click to vote
SUM
2010
Springer
15 years 4 months ago
2010
Springer
Most of the frequently used ontology mapping methods to date are based on linguistic information implied in ontologies. However, same concepts in different ontologies can represen...
137
click to vote
TVCG
2010
15 years 4 months ago
2010
—We present a method designed to address some limitations of typical route map displays of driving directions. The main goal of our system is to generate a printable version of a...
168
click to vote
WDAG
2010
Springer
15 years 4 months ago
2010
Springer
Software transactional memory (STM) guarantees that a transaction, consisting of a sequence of operations on the memory, appears to be executed atomically. In practice, it is impor...
142
click to vote
ASPDAC
2010
ACM
15 years 4 months ago
2010
ACM
Multi-operand adders, which are also found in parallel multipliers, usually consist of the compression trees which reduce the number of operands per a bit to two, and the carrypro...