Search Sciweavers | Sciweavers

5239 search results - page 206 / 1048

» Model-Integrated Embedded Systems

144

click to vote

ESTIMEDIA
2006
Springer

78views Multimedia» more ESTIMEDIA 2006»

An Estimation Methodology for Designing Instruction Cache Memory of Embedded Systems

15 years 10 months ago

Download peace.snu.ac.kr

Nikolas Kroupis, Stylianos Mamagkakis, Dimitrios S...

claim paper

Read More »

156

click to vote

ESTIMEDIA
2006
Springer

135views Multimedia» more ESTIMEDIA 2006»

An Energy Characterization Framework for Software-Based Embedded Systems

15 years 10 months ago

Download peace.snu.ac.kr

Donghoon Lee, Tohru Ishihara, Masanori Muroyama, H...

claim paper

Read More »

161

click to vote

FM
2006
Springer

97views Formal Methods» more FM 2006»

Modeling and Validating Distributed Embedded Real-Time Systems with VDM++

15 years 10 months ago

Download wiki.overturetool.org

Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman

claim paper

Read More »

138

click to vote

FPGA
2006
ACM

116views FPGA» more FPGA 2006»

GSFAP adaptive filtering using log arithmetic for resource-constrained embedded systems

15 years 10 months ago

Download library.utia.cas.cz

Milan Tichý, Andy Nisbet, David Gregg

claim paper

Read More »

156

click to vote

CAV
2001
Springer

93views Hardware» more CAV 2001»

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers