Sciweavers

3868 search results - page 270 / 774
» A Distributed Parallel Programming Framework
Sort
View
IPPS
1999
IEEE
15 years 11 months ago
Reusable Internal Hardware Templates
This paper describes the framework of internal hardware templates. These reusable templates can be instantiated, inside the FPGA, to the required precision. Thus, the resource util...
Ka-an Agun, J. Morris Chang
IPPS
1999
IEEE
15 years 11 months ago
PARADIGM (version 2.0): A New HPF Compilation System
In this paper,a we present sample performance figures for a new linear algebra-based compilation framework implemented in a research HPF compiler called PARADIGM. The metrics cons...
Pramod G. Joisha, Prithviraj Banerjee
ECOOPW
1999
Springer
15 years 11 months ago
Abstractions for Mobile Computation
ions for Mobile Computation Luca Cardelli Microsoft Research Abstract. We discuss the difficulties caused by mobile computing and mobile computation over wide area networks. We pro...
Luca Cardelli
CONCUR
2009
Springer
15 years 10 months ago
Algebra for Infinite Forests with an Application to the Temporal Logic EF
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
Mikolaj Bojanczyk, Tomasz Idziaszek
CW
2004
IEEE
15 years 10 months ago
Transmedial Worlds - Rethinking Cyberworld Design
In this paper we introduce the concept of transmedial worlds, relating it to genre and adaptation theory, and presenting a framework for how to look for transmedial traits in a wo...
Lisbeth Klastrup, Susana Pajares Tosca