Sciweavers

4902 search results - page 143 / 981
» Multi-agent Systems Methodology
Sort
View
ESTIMEDIA
2006
Springer
15 years 8 months ago
An Estimation Methodology for Designing Instruction Cache Memory of Embedded Systems
Nikolas Kroupis, Stylianos Mamagkakis, Dimitrios S...
TACAS
1995
Springer
90views Algorithms» more  TACAS 1995»
15 years 8 months ago
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
Kim Guldstrand Larsen, Bernhard Steffen, Carsten W...
EURODAC
1994
IEEE
148views VHDL» more  EURODAC 1994»
15 years 8 months ago
System-Level Modeling and Verification: a Comprehensive Design Methodology
Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...
CSREAESA
2006
15 years 5 months ago
Fast Run-Time Power Monitoring Methodology for Embedded Systems
Traditional simulation-based energy estimation is not practical because the simulation time has increased from minutes and hours and weeks. Therefore, simulation assisted by speci...
Kuei-Chung Chang, Jih-Sheng Shen, Tien-Fu Chen