2695 search results - page 29 / 539 » A Visual Approach to Validating System Level Designs |
IEE
2007
14 years 11 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...
104
click to vote
DATE
2005
IEEE
15 years 1 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
15 years 5 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...
108
click to vote
HASE
2007
IEEE
15 years 3 months 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
15 years 4 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...