Sciweavers

1890 search results - page 199 / 378
» A component model for building systems software
Sort
View
ASPDAC
2008
ACM
164views Hardware» more  ASPDAC 2008»
15 years 8 months ago
The Shining embedded system design methodology based on self dynamic reconfigurable architectures
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
Carlo Curino, Luca Fossati, Vincenzo Rana, Frances...
TR
2008
117views more  TR 2008»
15 years 6 months ago
Redundancy Allocation for Series-Parallel Systems Using Integer Linear Programming
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
Alain Billionnet
HAPTICS
2003
IEEE
15 years 11 months ago
The Haptic Probe: Mechanized Haptic Exploration and Automated Modeling
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...
Volkan Patoglu, R. Brent Gillespie
CSFW
2005
IEEE
16 years 3 days ago
Achieving Information Flow Security through Precise Control of Effects
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
William L. Harrison, James Hook
SEKE
2009
Springer
15 years 11 months ago
Collaborative Development of System Architecture - a Tool for Coping with Inconsistency
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
Peter Henderson, Matthew J. Henderson