14190 search results - page 2685 / 2838 » Abstractions for hybrid systems |
214
click to vote
SEMWEB
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
224
click to vote
SSS
2005
Springer
16 years 18 days ago
2005
Springer
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
186
Voted
WDAG
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...
201
click to vote
WEA
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. Many large-scale optimization problems rely on graph theoretic solutions; yet high-performance computing has traditionally focused on regular applications with high degre...
196
click to vote
PLDI
2004
ACM
16 years 16 days ago
2004
ACM
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...