Sciweavers

12333 search results - page 627 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
PEPM
1991
ACM
15 years 10 months ago
Properties of Unfolding-based Meta-level Systems
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
Torben Amtoft Hansen
CORR
2008
Springer
86views Education» more  CORR 2008»
15 years 7 months ago
Dynamic System Adaptation by Constraint Orchestration
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
Luuk Groenewegen, Erik P. de Vink
DSN
2003
IEEE
16 years 14 days ago
A User-Perceived Availability Evaluation of a Web Based Travel Agency
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
Mohamed Kaâniche, Karama Kanoun, Magnos Mart...
IEEEPACT
2006
IEEE
16 years 1 months ago
Compiling for stream processing
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
Abhishek Das, William J. Dally, Peter R. Mattson
ICEIS
2005
IEEE
16 years 24 days ago
Conditions for Interoperability
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
B. Nick Rossiter, Michael A. Heather