Sciweavers

1081 search results - page 22 / 217
» Type Inference of SELF
Sort
View
143
Voted
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
15 years 7 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...
132
Voted
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
111
Voted
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...
84
Voted
ISSTA
2006
ACM
15 years 9 months ago
Dynamic inference of abstract types
Philip J. Guo, Jeff H. Perkins, Stephen McCamant, ...
103
Voted
ECLIPSE
2004
ACM
15 years 9 months ago
Visualizing type qualifier inference with Eclipse
David Greenfieldboyce, Jeffrey S. Foster