Sciweavers

204 search results - page 24 / 41
» Abstractions to Support Interactions Between Self-Managed Ce...
Sort
View
126
Voted
SG
2010
Springer
15 years 7 months 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
15 years 6 months 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»
15 years 6 months 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
129
Voted
EAGC
2004
Springer
15 years 5 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»
14 years 8 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