2695 search results - page 29 / 539 » A Visual Approach to Validating System Level Designs |
IEE
2007
13 years 8 months ago
2007
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
Designer productivity and design predictability are vital factors for successful embedded system design. Shrinking time-to-market and increasing complexity of these systems requir...
HASE
2007
IEEE
14 years 22 days ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
ICSE
1998
IEEE-ACM
14 years 1 months ago
1998
IEEE-ACM
Component-based software development has proven effective for systems implementation in well-understood application domains, but is still insufficient for the creation of reusable...