Sciweavers

1081 search results - page 22 / 217
» Type Inference of SELF
Sort
View
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 8 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
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...
COOPIS
2003
IEEE
15 years 9 months ago
Static Type-Inference for Trust in Distributed Information Systems
Abstract. Decision-makers in critical fields such as medicine and finance make use of a wide range of information available over the Internet. Mediation, a data integration techn...
Premkumar T. Devanbu, Michael Gertz, Brian Toone
EUROMICRO
2007
IEEE
15 years 10 months ago
Compatibility and reuse in component-based systems via type and unit inference
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...
ISSTA
2006
ACM
15 years 10 months ago
Dynamic inference of abstract types
Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...
ECLIPSE
2004
ACM
15 years 9 months ago
Visualizing type qualifier inference with Eclipse
David Greenfieldboyce, Jeffrey S. Foster