Sciweavers

10055 search results - page 1409 / 2011
» Structured programming using processes
Sort
View
CASCON
2006
118views Education» more  CASCON 2006»
15 years 7 months ago
Ensuring behavioural equivalence in test-driven porting
In this paper we present a test-driven approach to porting code from one object-oriented language to another. We derive an order for the porting of the code, along with a testing ...
Mark Hennessy, James F. Power
161
Voted
WSCG
2004
173views more  WSCG 2004»
15 years 7 months ago
Production Interface for WEB-deliverable Realistic Interactive 3D Facial Animation
We present a new interface for producing high quality web deliverable interactive 3D facial animation. We aim at providing visual artists with established 3D character animation t...
Nicoletta Adamo-Villani, Amit Chourasia, Clark A. ...
CCGRID
2010
IEEE
15 years 7 months ago
A Map-Reduce System with an Alternate API for Multi-core Environments
Map-reduce framework has received a significant attention and is being used for programming both large-scale clusters and multi-core systems. While the high productivity aspect of ...
Wei Jiang, Vignesh T. Ravi, Gagan Agrawal
157
Voted
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 6 months ago
How Do Emerging Technologies Conquer the World? An Exploration of Patterns of Diffusion and Network Formation
Grasping the fruits of "emerging technologies" is an objective of many government priority programs in a knowledge-based and globalizing economy. We use the publication ...
Loet Leydesdorff, Ismael Rafols
165
Voted
CORR
2008
Springer
142views Education» more  CORR 2008»
15 years 6 months ago
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...
Paul Tarau
« Prev « First page 1409 / 2011 Last » Next »