Sciweavers

3643 search results - page 246 / 729
» System Architecture for Software Peripherals
Sort
View
CIDR
2011
234views Algorithms» more  CIDR 2011»
14 years 8 months ago
SWissBox: An Architecture for Data Processing Appliances
Database appliances offer fully integrated hardware, storage, operating system, database, and related software in a single package. Database appliances have a relatively long hist...
Gustavo Alonso, Donald Kossmann, Timothy Roscoe
COMPSAC
2002
IEEE
15 years 9 months ago
A Case Study of Dependable Software Upgrade with Distributed Components
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
J. Jenny Li, Xueshan Shan
SSR
2001
83views more  SSR 2001»
15 years 6 months ago
Increasing the confidence in off-the-shelf components: a software connector-based approach
The promise of component-based software development is that larger, more complex systems can be built reasonably quickly and reliably from pre-fabricated ("off-the-shelf"...
Marija Mikic-Rakic, Nenad Medvidovic
ICFEM
2003
Springer
15 years 10 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
CODES
1998
IEEE
15 years 9 months ago
Software timing analysis using HW/SW cosimulation and instruction set simulator
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
Jie Liu, Marcello Lajolo, Alberto L. Sangiovanni-V...