6149 search results - page 62 / 1230 » Revealing the programming process |
100
Voted
VL
2007
IEEE
15 years 6 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 ...
112
Voted
CEC
2009
IEEE
15 years 7 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...
86
Voted
APLAS
2008
ACM
15 years 2 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...
100
Voted
ICALP
1997
Springer
15 years 4 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...
72
Voted
MSCS
2008
15 years 17 days 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...