Search Sciweavers | Sciweavers

1096 search results - page 27 / 220

» Type inference for atomicity

click to vote

ACSD
2004
IEEE

124views Hardware» more ACSD 2004»

A Behavioral Type Inference System for Compositional System-on-Chip Design

13 years 11 months ago

Download www.irisa.fr

The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...

Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...

claim paper

Read More »

click to vote

COOPIS
2003
IEEE

96views Information Technology» more COOPIS 2003»

Static Type-Inference for Trust in Distributed Information Systems

14 years 1 months ago

Download www.cs.ucdavis.edu

Abstract. Decision-makers in critical ﬁelds such as medicine and ﬁnance make use of a wide range of information available over the Internet. Mediation, a data integration techn...

Premkumar T. Devanbu, Michael Gertz, Brian Toone

claim paper

Read More »

click to vote

EUROMICRO
2007
IEEE

108views Software Engineering» more EUROMICRO 2007»

Compatibility and reuse in component-based systems via type and unit inference

14 years 2 months ago

Download www4.in.tum.de

In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...

Christian Kühnel, Andreas Bauer 0002, Michael...

claim paper

Read More »

click to vote

ISSTA
2006
ACM

110views Software Engineering» more ISSTA 2006»

Dynamic inference of abstract types

14 years 1 months ago