6149 search results - page 62 / 1230 » Revealing the programming process |
VL
2007
IEEE
14 years 5 months ago
2007
IEEE
There has been little research into how end-user programming environments can provide explanations that could fill a critical information gap for end-user debuggers – help with ...
CEC
2009
IEEE
14 years 6 months ago
2009
IEEE
—In this paper we discuss the notion of situated evolution. Our treatment includes positioning situated evolution on the map of evolutionary processes in terms of time- and space...
APLAS
2008
ACM
14 years 1 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
ICALP
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. Milner proposed an axiomatization for the Kleene star in basic process algebra, in the presence of deadlock and empty process, modulo bisimulation equivalence. In this pa...
MSCS
2008
13 years 11 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...