398 search results - page 15 / 80 » On the Inference of Configuration Structures from Source Cod... |
107
click to vote
VMCAI
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
116
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Mocapy++ is a toolkit for parameter learning and inference in dynamic Bayesian networks (DBNs). It supports a wide range of DBN architectures and probability distribut...
103
Voted
CASCON
1996
15 years 1 months ago
1996
Understanding the source, data, and documentation files associated with legacy systems in preparation for maintenance or reengineering is an increasingly important problem for man...
181
Voted
POPL
2008
ACM
15 years 12 months ago
2008
ACM
An ad hoc data source is any semistructured data source for which useful data analysis and transformation tools are not readily available. Such data must be queried, transformed a...
120
click to vote
FPL
2008
Springer
15 years 1 months ago
2008
Springer
This paper examines the opportunity of using compression for accelerating the (re)configuration of FPGA devices, focusing on the choice of compression algorithms, and their hardwa...