Sciweavers

2184 search results - page 10 / 437
» Modeling and Realizing Interoperability
Sort
View
TC
2010
13 years 2 months ago
Architectures and Execution Models for Hardware/Software Compilation and Their System-Level Realization
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...
Holger Lange, Andreas Koch
TCS
2011
13 years 2 months ago
Realizability models and implicit complexity
New, simple, proofs of soundness (every representable function lies in a given complexity class) for Elementary Affine Logic, LFPL and Soft Affine Logic are presented. The proofs ...
Ugo Dal Lago, Martin Hofmann
CORR
2007
Springer
107views Education» more  CORR 2007»
13 years 7 months ago
How to realize "a sense of humour" in computers ?
Computer model of a ”sense of humour” suggested previously [1 – 3] is raised to the level of a realistic algorithm.
I. M. Suslov
CONTEXT
2005
Springer
14 years 1 months ago
Task-Realization Models in Contextual Graphs
Enterprises develop procedures to address focuses in any case. However, procedures result often in sub-optimal solutions for any specific focus. As a consequence, each actor develo...
Patrick Brézillon