Sciweavers

1251 search results - page 122 / 251
» Design of an Early Minicomputer
Sort
View
HOTOS
2007
IEEE
15 years 4 months ago
Towards a Practical, Verified Kernel
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
Kevin Elphinstone, Gerwin Klein, Philip Derrin, Ti...
DSRT
2004
IEEE
15 years 4 months ago
Implementation of Host-Based Overlay Multicast to Support of Web Based Services for RT-DVS
Growing demand for use of Internet/Web-based services in real-time distributed virtual simulation (RT-DVS) and other real-time applications is fueling extensive interest in overla...
Dennis M. Moen, J. Mark Pullen, Fei Zhao
101
Voted
DSD
2006
IEEE
99views Hardware» more  DSD 2006»
15 years 4 months ago
Flexible Bus and NoC Performance Analysis with Configurable Synthetic Workloads
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
Rikard Thid, Ingo Sander, Axel Jantsch
108
Voted
ICTAI
1997
IEEE
15 years 4 months ago
Knowledge Refinement to Debug and Maintain a Tablet Formulation System
Knowledge refinement tools have commonly been applied to diagnostic applications. This paper considers the refinement of a design application. It explores the differences in knowl...
Susan Craw, Robin Boswell, Ray Rowe
ISLPED
1995
ACM
116views Hardware» more  ISLPED 1995»
15 years 4 months ago
Activity-sensitive architectural power analysis for the control path
Prompted by demands for portability and low-cost packaging, the electronics industry has begun to view power consumption as a critical design criteria. As such there is a growing ...
Paul E. Landman, Jan M. Rabaey