109 search results - page 11 / 22 » A New Control Structure for Transformation-Based Generators |
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—The compilation of imperative synchronous languages like Esterel has been widely studied, the separate compilation of synchronous modules has not, and remains a challenge. We pr...
ICOIN
2007
Springer
15 years 5 months ago
2007
Springer
Measurement studies on the Internet topology show that connectivities of nodes exhibit power–law attribute, but it is apparent that only the degree distribution does not determin...
GRAPHICSINTERFACE
2007
15 years 16 days ago
2007
This paper describes a new tool for preprocessed visibility. It puts together view space and object space partitioning in order to control the render cost and memory cost of the v...
158
click to vote
FROCOS
2011
Springer
13 years 10 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
ENTCS
2006
14 years 11 months ago
2006
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...