Sciweavers

2752 search results - page 147 / 551
» Rounding to an Integral Program
Sort
View
HPCN
1998
Springer
14 years 2 months ago
The GRED Graphical Editor for the GRADE Parallel Program Development Environment
In this paper, we describe a graphical editor GRED as part of the integrated programming environment GRADE that is intended to support designing, debugging and performance tuning o...
Péter Kacsuk, Gábor Dózsa, Ti...
TACS
1994
Springer
14 years 2 months ago
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
Douglas J. Howe, Scott D. Stoller
DAIS
2010
13 years 11 months ago
Distributed Object-Oriented Programming with RFID Technology
Our everyday environments will soon be pervaded with RFID tags integrated in physical objects. These RFID tags can store a digital representation of the physical object and transmi...
Andoni Lombide Carreton, Kevin Pinte, Wolfgang De ...
DAGSTUHL
2001
13 years 11 months ago
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
Katharina Mehner
USS
2004
13 years 11 months ago
Privtrans: Automatically Partitioning Programs for Privilege Separation
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
David Brumley, Dawn Xiaodong Song