3342 search results - page 354 / 669 » Automating Abstract Interpretation |
133
click to vote
ISTA
2004
15 years 6 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
143
click to vote
EACL
2010
ACL Anthology
15 years 4 months ago
2010
ACL Anthology
Abstract. Data-to-text generation systems tend to be knowledge-based and manually built, which limits their reusability and makes them time and cost-intensive to create and maintai...
132
Voted
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
- The design of embedded computing systems faces a serious productivity gap due to the increasing complexity of their hardware and software components. One solution to address this...
130
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
142
Voted
DAC
2002
ACM
16 years 5 months ago
2002
ACM
In the last decade, instruction-set simulators have become an essential development tool for the design of new programmable architectures. Consequently, the simulator performance ...