Sciweavers

619 search results - page 75 / 124
» Visualization of Concurrent Program Executions
Sort
View
POPL
2012
ACM
13 years 7 months ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...
VLSI
2010
Springer
14 years 6 months ago
SESAM extension for fast MPSoC architectural exploration and dynamic streaming applications
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
Nicolas Ventroux, Tanguy Sassolas, Raphael David, ...
CONSTRAINTS
2004
129views more  CONSTRAINTS 2004»
14 years 11 months ago
CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
François Fages, Sylvain Soliman, Rém...
SIGCSE
2004
ACM
140views Education» more  SIGCSE 2004»
15 years 5 months ago
CS1 assessment using memory diagrams
Understanding the execution of an object-oriented program can be a challenge for a student starting a CS1 course. We believe that a type of diagram that we call a memory diagram c...
Mark A. Holliday, David Luginbuhl
VL
2005
IEEE
108views Visual Languages» more  VL 2005»
15 years 5 months ago
Achieving Flexibility in Direct-Manipulation Programming Environments by Relaxing the Edit-Time Grammar
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
Benjamin E. Birnbaum, Kenneth J. Goldman