3736 search results - page 355 / 748 » Hand-Writing Program Generator Generators |
201
click to vote
ICCD
2008
IEEE
16 years 3 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
205
click to vote
SIGMOD
2009
ACM
16 years 1 months ago
2009
ACM
The state of the art commercial query optimizers employ cost-based optimization and exploit dynamic programming (DP) to find the optimal query execution plan (QEP) without evalua...
208
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In Software Engineering many text-based languages and supporting tools are used, forming the grammarware technical space. Currently model driven engineering is the new em...
171
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
204
click to vote
ICWL
2004
Springer
16 years 3 days ago
2004
Springer
This paper describes a system for the animation of algorithms on an electronic chalkboard. The instructor teaching an algorithm can enter data directly through a drawing- the algor...