Sciweavers

12333 search results - page 71 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 6 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICCAD
2006
IEEE
177views Hardware» more  ICCAD 2006»
15 years 11 months ago
Fast and accurate transaction level models using result oriented modeling
Efficient communication modeling is a critical task in SoC design and exploration. In particular, fast and accurate communication is needed to predict the performance of a system....
Gunar Schirner, Rainer Dömer
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 7 months ago
Layered, Multi-Threaded, High-Level Performance Design
A primary goal of high-level modeling is to efficiently explore a broad design space, converging on an optimal or near-optimal system architecture before moving to a more detaile...
Andrew S. Cassidy, JoAnn M. Paul, Donald E. Thomas
CIDR
2003
123views Algorithms» more  CIDR 2003»
15 years 3 months ago
A Case for Staged Database Systems
Traditional database system architectures face a rapidly evolving operating environment, where millions of users store and access terabytes of data. In order to cope with increasi...
Stavros Harizopoulos, Anastassia Ailamaki