3736 search results - page 27 / 748 » Hand-Writing Program Generator Generators |
ISSRE
2006
IEEE
15 years 5 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
CP
2005
Springer
15 years 5 months ago
2005
Springer
This paper describes an efficient, complete approach for solving a complex allocation and scheduling problem for Multi-Processor System-on-Chip (MPSoC). Given a throughput constra...
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
CAV
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. In this paper we present InvGen, an automatic linear arithmetic invariant generator for imperative programs. InvGen's unique feature is in its use of dynamic analysi...
UM
2001
Springer
15 years 4 months ago
2001
Springer
In this paper we describe a system that generates synthesized web pages as a travel guide through integrating a discourse planner with a document retrieval system. We then present ...