Sciweavers

2523 search results - page 260 / 505
» Correct Development of Embedded Systems
Sort
View
ENTCS
2007
108views more  ENTCS 2007»
15 years 3 months ago
An Adaptation-based Approach to Incrementally Build Component Systems
Software components are now widely used in the development of systems. However, incompatibilities between their behavioural interfaces may make their composition impossible. The o...
Pascal Poizat, Gwen Salaün, Massimo Tivoli
167
Voted
ANTSW
2010
Springer
15 years 1 months ago
Functional Blueprints: An Approach to Modularity in Grown Systems
Abstract. The engineering of grown systems poses fundamentally different system integration challenges than ordinary engineering of static designs. On the one hand, a grown system ...
Jacob Beal
140
Voted
IEICET
2008
124views more  IEICET 2008»
15 years 3 months ago
A Secure Content Delivery System Based on a Partially Reconfigurable FPGA
We developed a content delivery system using a partially reconfigurable FPGA to securely distribute digital content on the Internet. With partial reconfigurability of a Xilinx Vir...
Yohei Hori, Hiroyuki Yokoyama, Hirofumi Sakane, Ke...
SIAMSC
2008
129views more  SIAMSC 2008»
15 years 3 months ago
Iterative Solution of Piecewise Linear Systems
The correct formulation of numerical models for free-surface hydrodynamics often requires the solution of special linear systems whose coefficient matrix is a piecewise constant fu...
Luigi Brugnano, Vincenzo Casulli
107
Voted
ICPR
2002
IEEE
16 years 4 months ago
Automatic Grading Prototype System for KANJI Dictation Test
This paper presents an automatic grading prototype system developed as recognition engine for Japanese KANJI Dictation Test which aims to certificate the reading and writing abili...
Meng Shi, Tetsushi Wakabayashi, Wataru Ohyama, Fum...