Sciweavers

4139 search results - page 246 / 828
» Designing and Implementing Combinator Languages
Sort
View
EURODAC
1995
IEEE
128views VHDL» more  EURODAC 1995»
15 years 8 months ago
Closeness metrics for system-level functional partitioning
An important system design task is the partitioning of system functionality for implementation among multiple system components, including partitions among hardware and software c...
Frank Vahid, Daniel D. Gajski
EELC
2006
113views Languages» more  EELC 2006»
15 years 8 months ago
A Hybrid Model for Learning Word-Meaning Mappings
Abstract. In this paper we introduce a model for the simulation of language evolution, which is incorporated in the New Ties project. The New Ties project aims at evolving a cultur...
Federico Divina, Paul Vogt
POPL
2010
ACM
15 years 11 months ago
Ypnos: declarative, parallel structured grid programming
A fully automatic, compiler-driven approach to parallelisation can result in unpredictable time and space costs for compiled code. On the other hand, a fully manual approach to pa...
Dominic A. Orchard, Max Bolingbroke, Alan Mycroft
ACSD
2001
IEEE
74views Hardware» more  ACSD 2001»
15 years 8 months ago
From Code to Models
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
Gerard J. Holzmann
EACL
2009
ACL Anthology
16 years 5 months ago
Improvements in Analogical Learning: Application to Translating Multi-Terms of the Medical Domain
Handling terminology is an important matter in a translation workflow. However, current Machine Translation (MT) systems do not yet propose anything proactive upon tools which ass...
François Yvon, Philippe Langlais, Pierre Zw...