4767 search results - page 123 / 954 » Structures for Abstract Rewriting |
110
Voted
FCCM
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract This paper presents a design for a reconfigurable multiplier array. The multiplier is constructed using an array of 4 bit Flexible Array Blocks (FABs), which could be emb...
127
click to vote
ENTCS
2007
15 years 2 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
106
Voted
SOCIALCOM
2010
15 years 4 days ago
2010
We introduce a novel technique for comparing graphs using the structure of their subgraphs, which we call a graph's fine structure. Our technique compares graphs using the ear...
102
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We propose a new model for timed games, based on concurrent game structures (CGSs). Compared to the classical timed game automata of Asarin et al. [8], our timed CGSs are...
103
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
With generic functional programming techniques, we have eased GUI programming by constructing a programming toolkit with which one can create GUIs in an abstract and compositional ...