3605 search results - page 58 / 721 » Analysis and Applications of the XDI model |
ICCAD
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper studies microprocessor floorplanning considering thermal and throughput optimization. We first develop a stochastic heat diffusion model taking into account the appl...
87
Voted
DATE
2003
IEEE
15 years 4 months ago
2003
IEEE
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
IFIP
1998
Springer
15 years 3 months ago
1998
Springer
This paper introduces the HyDev approach to structured and systematic development of typical hypermedia applications. HyDev focuses on the early phases of the development process, ...
86
Voted
VL
1999
IEEE
15 years 3 months ago
1999
IEEE
An analysis of how visual modeling of structure and dynamic behavior of a multimedia application differs from modeling conventional software yields that aspects of the graphical u...
ICWE
2007
Springer
15 years 5 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...