422 search results - page 40 / 85 » Automatic Generation of Program Families by Model Restrictio... |
PVLDB
2010
13 years 7 months ago
2010
We demonstrate an efficient LINQ to SQL provider and its significant impact on the runtime performance of LINQ programs that process large data volumes. This alternative provider...
POPL
2009
ACM
14 years 9 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
UML
2000
Springer
14 years 9 days ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
SAC
2008
ACM
13 years 8 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...