4722 search results - page 701 / 945 » Encoding Program Executions |
153
click to vote
AADEBUG
2005
Springer
15 years 5 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...
181
click to vote
CC
2008
Springer
15 years 5 months ago
2008
Springer
JIT compilation is a model of execution which translates at run time critical parts of the program to a low level representation. Typically a JIT compiler produces machine code fro...
144
click to vote
FOIKS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Argumentation-based formalisms provide a way of considering the defeasible nature of reasoning with partial and often erroneous knowledge in a given environment. This pro...
128
Voted
EDM
2010
15 years 4 months ago
2010
In the past few years, Iranian universities have embarked to use e-learning tools and technologies to extend and improve their educational services. After a few years of conducting...
140
click to vote
OPODIS
2008
15 years 4 months ago
2008
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...