Sciweavers

204 search results - page 24 / 41
» Abstractions to Support Interactions Between Self-Managed Ce...
Sort
View
SG
2010
Springer
14 years 19 days ago
Applying Mathematical Sketching to Sketch-Based Physics Tutoring Software
Abstract. We present a prototype sketch-based physics tutoring system that combines mathematical sketching, an interaction paradigm that supports construction of dynamic illustrati...
Salman Cheema, Joseph J. LaViola Jr.
EMSOFT
2001
Springer
14 years 2 days ago
An Implementation of Scoped Memory for Real-Time Java
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
William S. Beebee, Martin C. Rinard
SAS
2001
Springer
149views Formal Methods» more  SAS 2001»
14 years 15 hour ago
Analysis of Multithreaded Programs
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
Martin C. Rinard
EAGC
2004
Springer
13 years 11 months ago
SCALEA-G: A Unified Monitoring and Performance Analysis System for the Grid
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
Hong Linh Truong, Thomas Fahringer
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
13 years 2 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002