Sciweavers

1185 search results - page 66 / 237
» Implementing Functional Languages: a tutorial
Sort
View
LREC
2010
164views Education» more  LREC 2010»
14 years 11 months ago
Experimental Deployment of a Grid Virtual Organization for Human Language Technologies
After a brief overview of the elements of modern grid computing, a number of common use-cases of natural language processing tasks running on the grid are presented, notably corpu...
Jan Jona Javorsek, Tomaz Erjavec
CORR
2010
Springer
116views Education» more  CORR 2010»
14 years 9 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
SIGMOD
1989
ACM
153views Database» more  SIGMOD 1989»
15 years 1 months ago
Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...
Atsushi Ohori, Peter Buneman, Val Tannen
DAGSTUHL
2004
14 years 11 months ago
SHIM: A Language for Hardware/Software Integration
Virtually every system designed today is an amalgam of hardware and software. Unfortunately, software and circuits that communicate across the hardware/software boundary are tedio...
Stephen A. Edwards
ECOOP
2006
Springer
15 years 1 months ago
Responders: Language Support for Interactive Applications
A variety of application domains are interactive in nature: a primary task involves responding to external actions. In this paper, we introduce explicit programming language suppor...
Brian Chin, Todd D. Millstein