Sciweavers

12333 search results - page 236 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
LCTRTS
2010
Springer
16 years 1 months ago
Semi-automatic derivation of timing models for WCET analysis
Marc Schlickling, Markus Pister
ASPDAC
2006
ACM
109views Hardware» more  ASPDAC 2006»
16 years 16 days ago
Cycle error correction in asynchronous clock modeling for cycle-based simulation
— As the complexity of SoCs is increasing, hardware/software co-verification becomes an important part of system verification. C-level cycle-based simulation could be an efficien...
Junghee Lee, Joonhwan Yi
MASCOTS
2008
15 years 8 months ago
Modeling Software Contention using Colored Petri Nets
Commercial servers, such as database or application servers, often attempt to improve performance via multithreading. Improper multi-threading architectures can incur contention, ...
Nilabja Roy, Akshay Dabholkar, Nathan Hamm, Lawren...
CODES
2006
IEEE
16 years 18 days ago
Automatic generation of transaction level models for rapid design space exploration
Transaction-level modeling has been touted to improve simulation performance and modeling efficiency for early design space exploration. But no tools are available to generate suc...
Dongwan Shin, Andreas Gerstlauer, Junyu Peng, Rain...