Sciweavers

2860 search results - page 126 / 572
» The Greenfoot Programming Environment
Sort
View
ACMSE
2004
ACM
16 years 11 days ago
JavaCHIME: Java class hierarchy inspector and method executer
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
Pallavi Tadepalli, H. Conrad Cunningham
DEDS
2000
83views more  DEDS 2000»
15 years 6 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...
CSCW
1990
ACM
15 years 11 months ago
An Ethnographic Study of Distributed Problem Solving in Spreadsheet Development
In contrast to the common view of spreadsheetsas "single-user" programs, we have found that spreadsheetsoffer surprisingly strong support for cooperative development of ...
Bonnie A. Nardi, James R. Miller
PARA
2000
Springer
15 years 10 months ago
Ship Hull Hydrodynamic Analysis Using Distributed Shared Memory
Abstract. In this article we present the results obtained from the execution of a commercial Computational Fluid Dynamics program on a cluster of personal computers. The communicat...
João P. Marques Silva, Paulo Guedes
ICALP
1997
Springer
15 years 10 months ago
Model Checking the Full Modal Mu-Calculus for Infinite Sequential Processes
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
Olaf Burkart, Bernhard Steffen