Sciweavers

166 search results - page 5 / 34
» An Intermediate Expressions' Generator System in the MPEG-4 ...
Sort
View
APSEC
2009
IEEE
13 years 5 months ago
A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
CAEPIA
2005
Springer
14 years 27 days ago
Agent-Based Solutions for Natural Language Generation Tasks
When building natural language generation applications it is desireable to have the possibility of assembling modules that use different techniques for each one of the specific g...
Raquel Hervás, Pablo Gervás
OSDI
2004
ACM
14 years 7 months ago
MapReduce: Simplified Data Processing on Large Clusters
MapReduce is a programming model and an associated implementation for processing and generating large data sets. Users specify a map function that processes a key/value pair to ge...
Jeffrey Dean, Sanjay Ghemawat
DSL
2009
13 years 5 months ago
Operator Language: A Program Generation Framework for Fast Kernels
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
Franz Franchetti, Frédéric de Mesmay...
SYRCODIS
2008
127views Database» more  SYRCODIS 2008»
13 years 8 months ago
On the Semantics of Updates in a Functional Language
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
Pavel Loupal