Sciweavers

48 search results - page 8 / 10
» A Reference Model for Reusable Components Description
Sort
View
ICS
2009
Tsinghua U.
13 years 11 months ago
A comprehensive power-performance model for NoCs with multi-flit channel buffers
Large Multi-Processor Systems-on-Chip use Networks-on-Chip with a high degree of reusability and scalability for message communication. Therefore, network infrastructure is a cruc...
Mohammad Arjomand, Hamid Sarbazi-Azad
MEDINFO
2007
123views Healthcare» more  MEDINFO 2007»
13 years 8 months ago
A Multidiscipline Conceptual Framework for Consumer Health Informatics
This paper presents an idealized conceptual framework for consumer health informatics research drawing from complementary disciplines: information science and health campaign rese...
Robert A. Logan, Tony Tse
ATVA
2009
Springer
141views Hardware» more  ATVA 2009»
13 years 10 months ago
Formal Verification for High-Assurance Behavioral Synthesis
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
Sandip Ray, Kecheng Hao, Yan Chen, Fei Xie, Jin Ya...
BPSC
2010
166views Business» more  BPSC 2010»
13 years 5 months ago
Case Study on Extending Internet of Services Techniques to Real-World Services
: The Internet of Services promotes distributable, composable and tradeable services as first-class entities. Such services are assumed to encompass the full range from electronic...
Josef Spillner, Ronny Kursawe, Alexander Schill
EMSOFT
2005
Springer
14 years 3 days ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele