Sciweavers

1660 search results - page 114 / 332
» Abstract Application Modeling for System Design Space Explor...
Sort
View
VLSID
2002
IEEE
174views VLSI» more  VLSID 2002»
16 years 4 months ago
Architecture Implementation Using the Machine Description Language LISA
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
Oliver Schliebusch, Andreas Hoffmann, Achim Nohl, ...
BEHAVIOURIT
2005
54views more  BEHAVIOURIT 2005»
15 years 3 months ago
Understanding and modelling built environments for mobile guide interface design
The research presented in this paper aims to inform interface design for mobile guides by understanding and modelling the built environments in which the guide will be used. This ...
Jeni Paay, Jesper Kjeldskov
131
Voted
ESTIMEDIA
2008
Springer
15 years 5 months ago
Serialized multitasking code generation from dataflow specification
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
Seongnam Kwon, Soonhoi Ha
EUROMICRO
2005
IEEE
15 years 9 months ago
Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
Egor Bondarev, Peter H. N. de With, Michel R. V. C...
AMAST
2006
Springer
15 years 7 months ago
State Space Reduction of Rewrite Theories Using Invisible Transitions
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
Azadeh Farzan, José Meseguer