Sciweavers

1663 search results - page 235 / 333
» Software Reuse and Safety
Sort
View
DATE
2004
IEEE
138views Hardware» more  DATE 2004»
14 years 20 days ago
Microarchitecture Development via Metropolis Successive Platform Refinement
Productivity data for IC designs indicates an exponential increase in design time and cost with the number of elements that are to be included in a device. Present applications re...
Douglas Densmore, Sanjay Rekhi, Alberto L. Sangiov...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
14 years 16 days ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
WSC
2008
13 years 11 months ago
Design guidelines for simulation building blocks
Component based or building block based simulation model development is regularly mentioned as an interesting new development and a potential field of research. Most of the commer...
Alexander Verbraeck, Edwin Valentin
DAIS
2008
13 years 10 months ago
Facilitating Gossip Programming with the GossipKit Framework
Gossip protocols have been successfully applied in the last few years to address a wide range of functionalities. So far, however, very few software frameworks have been proposed t...
Shen Lin 0003, François Taïani, Gordon...
SPLC
2008
13 years 10 months ago
Enabling Verifiable Conformance for Product Lines
NASA is, with the rest of industry, turning to product-line engineering to reduce costs and improve quality by effectively managing reuse. Experience in industry has shown that it...
Robyn R. Lutz