852 search results - page 99 / 171 » entcs 2010 |
111
click to vote
ENTCS
2006
15 years 16 days ago
2006
This paper presents a novel profiling approach, which is entirely based on program transformation techniques in order to enable exact profiling, preserving complete call stacks, m...
109
Voted
ENTCS
2006
15 years 16 days ago
2006
In Rutten [13] the theoretical basis was given for the synthesis of binary Mealy machines from specifications in 2-adic arithmetic. This construction is based on the symbolic comp...
132
Voted
ENTCS
2006
15 years 16 days ago
2006
Trace semantics has been defined for various non-deterministic systems with different input/output types, or with different types of "non-determinism" such as classical ...
83
Voted
ENTCS
2006
15 years 16 days ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
ENTCS
2006
15 years 16 days ago
2006
The article introduces an extension of the well-known conformance relation ioco on labeled transition systems (LTS) with refused inputs and forbidden actions. This extension helps...