2278 search results - page 73 / 456 » Specification Techniques for Automatic Performance Analysis ... |
ACMSE
2010
ACM
14 years 9 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
CORR
2004
Springer
14 years 11 months ago
2004
Springer
We introduce new techniques for extracting, analyzing, and visualizing textual contents from instructional videos of low production quality. Using Automatic Speech Recognition, ap...
CISSE
2008
Springer
15 years 1 months ago
2008
Springer
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
118
click to vote
ASPLOS
2011
ACM
14 years 2 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
FPL
2004
Springer
15 years 4 months ago
2004
Springer
A previous study [1] demonstrates the advantages of replacing registers by FPGA embedded memories during the storage allocation phase of High-Level Synthesis. The trend in new FPGA...