1799 search results - page 130 / 360 » Design considerations for MRAM |
131
click to vote
ICAD
2004
15 years 6 months ago
2004
This paper provides a summary of previous work done in the area of external auditory representations of programs (known as program auralisation). A brief historical review is give...
158
click to vote
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
123
click to vote
WSC
2000
15 years 5 months ago
2000
Simulation models can be time-consuming to build and often multiple models are built to simulate similar systems that have small differences. While developing a model to evaluate ...
141
click to vote
ASPDAC
2009
ACM
15 years 5 months ago
2009
ACM
Performance evaluation is a serious challenge in designing or optimizing reconfigurable instruction set processors. The conventional approaches based on synthesis and simulations a...
154
click to vote
DBSEC
2009
15 years 5 months ago
2009
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...