Search Sciweavers | Sciweavers

9974 search results - page 240 / 1995

» Software Interconnection Models

143

click to vote

ASPDAC
2007
ACM

100views Hardware» more ASPDAC 2007»

Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC

15 years 10 months ago

Download www.aspdac.com

Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhi...

claim paper

Read More »

138

click to vote

CASSIS
2004
Springer

85views Human Computer Interaction» more CASSIS 2004»

Mastering Test Generation from Smart Card Software Formal Models

15 years 10 months ago

Download www-sop.inria.fr

Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...

claim paper

Read More »

146

click to vote

ENTER
2006
Springer

148views Information Technology» more ENTER 2006»

Developing a Business Model using Open Source Software: A Tourism Case Study

15 years 10 months ago

Download mca-solutions.at

Rosemary Stockdale, Bernhard Rieder, Sven Küh...

claim paper

Read More »

177

click to vote

RTSS
1995
IEEE

85views Control Systems» more RTSS 1995»

Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software

15 years 10 months ago

Download www.csee.umbc.edu

Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe

claim paper

Read More »

105

click to vote

ECOOP
1989
Springer

74views Programming Languages» more ECOOP 1989»

A Compositional Model for Software Reuse

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers