1511 search results - page 160 / 303 » Relational Parametricity for Computational Effects |
182
click to vote
EUROPAR
2007
Springer
16 years 18 days ago
2007
Springer
Publish/subscribe systems provide a useful paradigm for selective data dissemination and most of the complexity related to addressing and routing is encapsulated within the network...
252
click to vote
GMAI
2006
IEEE
16 years 15 days ago
2006
IEEE
In this paper, we develop a mathematical model from the theory of plate bending in elasticity which relates physical properties of a surface to its elastic deformation. We present...
156
click to vote
IMSCCS
2006
IEEE
16 years 14 days ago
2006
IEEE
This paper will focus on issues relating to the building of multimedia presentations under a certain framework through a newly developed e-learning tool. The issues addressed incl...
167
click to vote
CIG
2005
IEEE
16 years 2 days ago
2005
IEEE
Abstract- The Virus Game (or simply Virus) is a turnbased two player perfect information game which is based on the growth and spread of competing viruses. This paper describes a C...
140
click to vote
ISCAS
2005
IEEE
16 years 1 days ago
2005
IEEE
—In this paper, we describe an automated and formalized methodology for partitioning computational intensive applications between reconfigurable hardware blocks of different gran...