Sciweavers

1448 search results - page 66 / 290
» From Requirements to Code Revisited
Sort
View
ISQED
2002
IEEE
203views Hardware» more  ISQED 2002»
14 years 3 months ago
Automatic Test Program Generation from RT-Level Microprocessor Descriptions
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
Fulvio Corno, Gianluca Cumani, Matteo Sonza Reorda...
CASES
2007
ACM
14 years 2 months ago
Compiler generation from structural architecture descriptions
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Florian Brandner, Dietmar Ebner, Andreas Krall
LREC
2008
130views Education» more  LREC 2008»
13 years 11 months ago
Encoding Terms from a Scientific Domain in a Terminological Database: Methodology and Criteria
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
Rita Marinelli, Melissa Tiberi, Remo Bindi
DOCENG
2010
ACM
13 years 11 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
AND
2009
13 years 8 months ago
Kernel-based relation extraction from investigative data
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...
Cristina Giannone, Roberto Basili, Chiara Del Vesc...