2268 search results - page 85 / 454 » The Essence of Form Abstraction |
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This work introduces a new data structure, called Lattice-Valued Binary Decision Diagrams (or LVBDD for short), for the compact representation and manipulation of functio...
ICDE
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
CDC
2008
IEEE
13 years 8 months ago
2008
IEEE
Abstract-- This paper discusses topological geometrical aspects and a control strategy for a distributed port-Hamiltonian system with a non-integrable structure called a distribute...
ALGORITHMICA
2006
13 years 8 months ago
2006
Abstract. In this paper we prove the optimality and other properties of the -adic nonadjacent form: this expansion has been introduced in order to efficiently compute scalar multip...
JLP
2006
13 years 8 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...