31387 search results - page 449 / 6278 » Abstracts |
158
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
169
click to vote
FCCM
2004
IEEE
15 years 11 months ago
2004
IEEE
ended abstract presents further results from the word-length optimization system Right-Size described at FCCM 2003. The system is used to quantify the compiletime specialization s...
191
click to vote
CCGRID
2001
IEEE
15 years 11 months ago
2001
IEEE
TACO (Topologies and Collections) is a template library that introduces the flavour of distributed data parallel processing by means of reusable topology classes and C++ s. This p...
197
click to vote
FASE
2000
Springer
15 years 11 months ago
2000
Springer
state-based approach KIV uses abstract state machines (ASMs, [5]) over algebraically specified data types. The semantics of an ASM is the set of
166
click to vote
RTA
2000
Springer
15 years 11 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...