Sciweavers

12333 search results - page 488 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
FUIN
2006
111views more  FUIN 2006»
15 years 7 months ago
Typing the Behavior of Software Components using Session Types
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...
Antonio Vallecillo, Vasco Thudichum Vasconcelos, A...
ICCAD
2010
IEEE
186views Hardware» more  ICCAD 2010»
15 years 4 months ago
Application-Aware diagnosis of runtime hardware faults
Extreme technology scaling in silicon devices drastically affects reliability, particularly because of runtime failures induced by transistor wearout. Currently available online t...
Andrea Pellegrini, Valeria Bertacco
WSC
1998
15 years 8 months ago
Simulation of Manufacturing Systems
This paper discusses how simulation is used to design new manufacturing systems and to improve the performance of existing ones. Topics to be discussed include: manufacturing issu...
Averill M. Law, Michael G. McComas
DATE
2003
IEEE
96views Hardware» more  DATE 2003»
16 years 6 days ago
A System to Validate and Certify Soft and Hard IP
With the increasing use of Intellectual Property (IP) in the semiconductor industry, the demand to verify IP for quality is high. This paper describes ipscreen, a software tool th...
Bernard Laurent, Thierry Karger
DATE
2002
IEEE
103views Hardware» more  DATE 2002»
15 years 12 months ago
Communication Mechanisms for Parallel DSP Systems on a Chip
We consider the implication of deep sub-micron VLSI technology on the design of communication frameworks for parallel DSP systems-on-chip. We assert that distributed data transfer...
Joseph Williams, Nevin Heintze, Bryan D. Ackland