Sciweavers

4902 search results - page 143 / 981
» Multi-agent Systems Methodology
Sort
View
ESTIMEDIA
2006
Springer
15 years 10 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 10 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 10 months ago
System-Level Modeling and Verification: a Comprehensive Design Methodology
Paolo Camurati, Fulvio Corno, Paolo Prinetto, Cath...
CSREAESA
2006
15 years 7 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