Sciweavers

2299 search results - page 118 / 460
» Design and Use of Industrial Software Architectures
Sort
View
CODES
1998
IEEE
15 years 2 months ago
Communication synthesis and HW/SW integration for embedded system design
The implementation of codesign applications generally requires the use of heterogeneous resources (e.g., processor cores, hardware accelerators) in one system. Interfacing hardwar...
Guy Gogniat, Michel Auguin, Luc Bianco, Alain Pega...
MICRO
2006
IEEE
114views Hardware» more  MICRO 2006»
15 years 4 months ago
Authentication Control Point and Its Implications For Secure Processor Design
Secure processor architecture enables tamper-proof protection on software that addresses many difficult security problems such as reverse-engineering prevention, trusted computing...
Weidong Shi, Hsien-Hsin S. Lee
SDL
2007
192views Hardware» more  SDL 2007»
14 years 11 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 4 months ago
Compositional Variability - Concepts and Patterns
Most software-intensive systems rely on a componentbased design and are therefore made up of encapsulated structural units which are hierarchically composed of one another. In thi...
Mark-Oliver Reiser, Ramin Tavakoli Kolagari, Matth...
ICSE
2004
IEEE-ACM
15 years 10 months ago
DiscoTect: A System for Discovering Architectures from Running Systems
One of the challenging problems for software developers is guaranteeing that a system as built is consistent with its architectural design. In this paper we describe a technique t...
Hong Yan, David Garlan, Bradley R. Schmerl, Jonath...