Sciweavers

4438 search results - page 624 / 888
» The Case for Collaborative Programming
Sort
View
AISC
2004
Springer
16 years 1 days ago
Solving Equations Involving Sequence Variables and Sequence Functions
Term equations involving individual and sequence variables and sequence function symbols are studied. Function symbols can have either fixed or flexible arity. A sequence variabl...
Temur Kutsia
CP
2004
Springer
16 years 23 hour ago
Deriving Filtering Algorithms from Constraint Checkers
Abstract. This article deals with global constraints for which the set of solutions can be recognized by an extended finite automaton whose size is bounded by a polynomial in n, w...
Nicolas Beldiceanu, Mats Carlsson, Thierry Petit
FPL
2004
Springer
89views Hardware» more  FPL 2004»
16 years 16 hour ago
HW/SW Co-design by Automatic Embedding of Complex IP Cores
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
Holger Lange, Andreas Koch
FPL
2004
Springer
106views Hardware» more  FPL 2004»
16 years 16 hour ago
FiPRe: An Implementation Model to Enable Self-Reconfigurable Applications
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
Leandro Möller, Ney Laert Vilar Calazans, Fer...
HUC
2004
Springer
16 years 12 hour ago
Rapid Authoring of Mediascapes
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
Richard Hull 0002, Ben J. C. Clayton, Tom Melamed