Sciweavers

20655 search results - page 78 / 4131
» Exploring Software Systems
Sort
View
ECBS
2000
IEEE
99views Hardware» more  ECBS 2000»
15 years 6 months ago
Enhancing Architectural Mismatch Detection with Assumptions
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
Sebastián Uchitel, Daniel Yankelevich
DATE
2004
IEEE
120views Hardware» more  DATE 2004»
15 years 6 months ago
Evaluation of SystemC Modelling of Reconfigurable Embedded Systems
This paper evaluates the use of pin and cycle accurate SystemC models for embedded system design exploration and early software development. The target system is MicroBlaze Vanill...
Tero Rissa, Adam Donlin, Wayne Luk
EMSOFT
2011
Springer
14 years 2 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
CASES
2001
ACM
15 years 6 months ago
Tailoring pipeline bypassing and functional unit mapping to application in clustered VLIW architectures
In this paper we describe a design exploration methodology for clustered VLIW architectures. The central idea of this work is a set of three techniques aimed at reducing the cost ...
Marcio Buss, Rodolfo Azevedo, Paulo Centoducatte, ...
WETICE
2000
IEEE
15 years 6 months ago
Workshop on Evaluating Collaborative Enterprises - Workshop Report
The workshop, Evaluating Collaborative Enterprises,1 explored the issues surrounding the evaluation of collaborative systems including methods and tools for evaluating collaborati...
Amy J. Knutilla, Michelle Potts Steves, Robert H. ...