1511 search results - page 160 / 303 » Relational Parametricity for Computational Effects |
196
Voted
EUROPAR
2007
Springer
16 years 1 months 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...
271
Voted
GMAI
2006
IEEE
16 years 1 months 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...
170
Voted
IMSCCS
2006
IEEE
16 years 1 months 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...
183
click to vote
CIG
2005
IEEE
16 years 19 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...
153
click to vote
ISCAS
2005
IEEE
16 years 17 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...