Sciweavers

2004 search results - page 221 / 401
» Interaction nets: programming language design and implementa...
Sort
View
SCP
2008
150views more  SCP 2008»
15 years 6 months ago
Google's MapReduce programming model - Revisited
Google's MapReduce programming model serves for processing large data sets in a massively parallel manner. We deliver the first rigorous description of the model including it...
Ralf Lämmel
INTERNET
2002
175views more  INTERNET 2002»
15 years 6 months ago
Web Services Interaction Models, Part 1: Current Practice
of abstractions a middleware system makes available to applications, they figure prominently in determining the breadth and variety of application integration that the middleware s...
Steve Vinoski
IEEEPACT
2002
IEEE
15 years 11 months ago
Eliminating Exception Constraints of Java Programs for IA-64
Java exception checks are designed to ensure that any faulting instruction causing a hardware exception does not terminate the program abnormally. These checks, however, impose so...
Kazuaki Ishizaki, Tatsushi Inagaki, Hideaki Komats...
NLP
2000
15 years 10 months ago
Dialogues for Embodied Agents in Virtual Environments
This paper is a progress report on our research, design, and implementation of a virtual reality environment where users (visitors, customers) can interact with agents that help th...
Rieks op den Akker, Anton Nijholt
AFP
2004
Springer
105views Formal Methods» more  AFP 2004»
15 years 12 months ago
Epigram: Practical Programming with Dependent Types
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...
Conor McBride