2255 search results - page 90 / 451 » High Assurance Software Systems |
TCAD
2011
13 years 4 months ago
2011
—Escalating system-on-chip design complexity is the design community to raise the level of abstraction beyond register transfer level. Despite the unsuccessful adoptions of early...
DOCENG
2003
ACM
14 years 3 months ago
2003
ACM
We describe the design and use of a personal digital library system, UpLib. The system consists of a full-text indexed repository accessed through an active agent via a Web interf...
DICS
2006
13 years 12 months ago
2006
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
SIGUCCS
2003
ACM
14 years 3 months ago
2003
ACM
Indiana State University has found a way in its 25+ computing facilities to combine the need for a central stable lab image and small support staff with the academic needs of flex...
VLSID
1999
IEEE
14 years 2 months ago
1999
IEEE
In hardware - software codesign paradigm often a performance estimation of the system is needed for hardware - software partitioning. The tremendous growth of application specific...