Sciweavers

1620 search results - page 124 / 324
» An Annotation-Based Framework for Parallel Computing
Sort
View
IPPS
1999
IEEE
15 years 9 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
CONCUR
2009
Springer
15 years 8 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 8 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
CW
2002
IEEE
15 years 10 months ago
Process of Software Evolution
A number of interesting phenomena can be observed when lifelong processes of object-oriented software are analyzed from the viewpoint of software evolution. This paper proposes a ...
Tetsuo Tamai
IPPS
2000
IEEE
15 years 9 months ago
Agent Surgery: The Case for Mutable Agents
We argue that mutable programs are an important class of future applications. The field of software agents is an important beneficiary of mutability. We evaluate existing mutabl...
Ladislau Bölöni, Dan C. Marinescu