2638 search results - page 161 / 528 » A Framework for Automatic Debugging |
157
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
176
click to vote
SCOPES
2004
Springer
15 years 11 months ago
2004
Springer
An automated framework for code and data partitioning for the needs of data management is presented. The goal is to identify the main data types from the data management perspectiv...
143
click to vote
ICIP
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents a new conceptual framework for summarization that considers the relationship between entities, device properties and user information needs. We summarize using...
155
click to vote
SIGSOFT
2000
ACM
15 years 10 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
178
click to vote
CODES
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...