Sciweavers

7103 search results - page 1145 / 1421
» Program Generation and Components
Sort
View
ACSD
2010
IEEE
197views Hardware» more  ACSD 2010»
15 years 1 months ago
Order-Independence of Vector-Based Transition Systems
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans...
ASWEC
2009
IEEE
15 years 1 months ago
Integrated Data Mapping for a Software Meta-tool
Complex data mapping tasks often arise in software engineering, particularly in code generation and model transformation. We describe Marama Torua, a tool supporting high-level sp...
Jun Huh, John C. Grundy, John G. Hosking, Karen Na...
DILS
2009
Springer
15 years 1 months ago
Slicing through the Scientific Literature
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
Christopher J. O. Baker, Patrick Lambrix, Jonas La...
146
Voted
ICIW
2009
IEEE
15 years 1 months ago
SynCFr: Synchronization Collaboration Framework
We present the SynCFr framework (Synchronization Collaboration Framework) supporting the management of composite applications and the synchronization of heterogeneous applications...
Liliana Ardissono, Anna Goy, Giovanna Petrone, Mar...
ICMLA
2009
15 years 1 months ago
Structured Prediction Models for Chord Transcription of Music Audio
Chord sequences are a compact and useful description of music, representing each beat or measure in terms of a likely distribution over individual notes without specifying the not...
Adrian Weller, Daniel P. W. Ellis, Tony Jebara
« Prev « First page 1145 / 1421 Last » Next »