Sciweavers

392 search results - page 9 / 79
» APROL: a Hybrid Language
Sort
View
PLDI
2012
ACM
13 years 2 months ago
Effective parallelization of loops in the presence of I/O operations
Software-based thread-level parallelization has been widely studied for exploiting data parallelism in purely computational loops to improve program performance on multiprocessors...
Min Feng, Rajiv Gupta, Iulian Neamtiu
HYBRID
2007
Springer
15 years 5 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
CP
2005
Springer
15 years 5 months ago
Bounds-Consistent Local Search
This paper describes a hybrid approach to solving large-scale constraint satisfaction and optimization problems. It describes a hybrid algorithm for integer linear programming whic...
Stefania Verachi, Steven David Prestwich
TAL
2004
Springer
15 years 5 months ago
SisHiTra : A Hybrid Machine Translation System from Spanish to Catalan
In the current European scenario, characterized by the coexistence of communities writing and speaking a great variety of languages, machine translation has become a technology of ...
José R. Navarro, Jorge González, Dav...
ICFHR
2010
155views Biometrics» more  ICFHR 2010»
14 years 6 months ago
A Hybrid Model for Recognition of Online Handwriting in Indian Scripts
We present a complete online handwritten character recognition system for Indian languages that handles the ambiguities in segmentation as well as recognition of the strokes. The ...
Amit Arora, Anoop M. Namboodiri