Sciweavers

828 search results - page 86 / 166
» Visualizing Interactions in Program Executions
Sort
View
TACAS
2005
Springer
155views Algorithms» more  TACAS 2005»
14 years 3 months ago
Context-Bounded Model Checking of Concurrent Software
The interaction among concurrently executing threads of a program results in insidious programming errors that are difficult to reproduce and fix. Unfortunately, the problem of ve...
Shaz Qadeer, Jakob Rehof
EAGC
2004
Springer
14 years 3 months ago
Managing MPI Applications in Grid Environments
One of the goals of the EU CrossGrid project is to provide a basis for supporting the efficient execution of parallel and interactive applications on Grid environments. CrossGrid j...
Elisa Heymann, Miquel A. Senar, Enol Fernán...
VL
2002
IEEE
100views Visual Languages» more  VL 2002»
14 years 2 months ago
Using HCI Techniques to Design a More Usable Programming System
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
John F. Pane, Brad A. Myers, Leah B. Miller
JMLR
2006
80views more  JMLR 2006»
13 years 9 months ago
Using Machine Learning to Guide Architecture Simulation
An essential step in designing a new computer architecture is the careful examination of different design options. It is critical that computer architects have efficient means by ...
Greg Hamerly, Erez Perelman, Jeremy Lau, Brad Cald...
MM
2003
ACM
190views Multimedia» more  MM 2003»
14 years 2 months ago
Human + agent: creating recombinant information
combinFormation is a tool that enables browsing and collecting information elements in a generative space. By generative, we mean that the tool is an agent that automatically retr...
Andruid Kerne, Vikram Sundaram, Jin Wang, Madhur K...