Sciweavers

2529 search results - page 367 / 506
» The Logical Structure of Binding
Sort
View
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
16 years 25 days ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
DDECS
2007
IEEE
143views Hardware» more  DDECS 2007»
16 years 25 days ago
An Experimental Analysis of SEU Sensitiveness on System Knowledge-based Hardening Techniques
Logic Soft Errors caused by radiation are a major concern when working with circuits that need to operate in harsh environments, such as space or avionics applications, where soft ...
Oscar Ruano, Pilar Reyes, Juan Antonio Maestro, Lu...
ICDAR
2007
IEEE
16 years 25 days ago
A Proposition of Retrieval Tools for Historical Document Images Libraries
In this article, we propose a method of characterization of pictures of old documents based on a texture approach. This characterization is carried out with the help of a multires...
Nicholas Journet, Jean-Yves Ramel, Rémy Mul...
SEMCO
2007
IEEE
16 years 23 days ago
Modeling Discriminative Global Inference
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
Nicholas Rizzolo, Dan Roth
CONCUR
2007
Springer
16 years 20 days ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari