1054 search results - page 80 / 211 » Models for automatic generation of safety-critical real-time... |
159
click to vote
ICS
2009
Tsinghua U.
16 years 29 days ago
2009
Tsinghua U.
Iterative stencil loops (ISLs) are used in many applications and tiling is a well-known technique to localize their computation. When ISLs are tiled across a parallel architecture...
178
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present an automatic face authentication system. Accurate segmentation of prominent facial features is accomplished by means of an extension of the Active Shape M...
155
click to vote
LCTRTS
2007
Springer
16 years 10 days ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
189
click to vote
ACL
2010
15 years 4 months ago
2010
This paper describes an initial prototype demonstrator of a Companion, designed as a platform for novel approaches to the following: 1) The use of Information Extraction (IE) tech...
207
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...