Sciweavers

8808 search results - page 1516 / 1762
» Process Change Patterns
Sort
View
ISSRE
2000
IEEE
15 years 3 months ago
Testing Nondeterminate Systems
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
Tim Menzies, Bojan Cukic, Harshinder Singh, John D...
LICS
2000
IEEE
15 years 3 months ago
Virtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...
RTSS
2000
IEEE
15 years 3 months ago
An Incremental Approach to Scheduling during Overloads in Real-Time Systems
In this paper we propose a novel scheduling framework for a real-timeenvironmentthat experiences dynamic changes. Thisframework is capable of adjusting the system workload in incr...
Pedro Mejía-Alvarez, Rami G. Melhem, Daniel...
ELPUB
2000
ACM
15 years 3 months ago
XML: Using an Evolving Standard in Electronic Publishing
XML is the proposed electronic publishing and data interchange format of the future. Currently XML is immature with little tool support, particularly for end-user World Wide Web br...
Ann Apps, Ross MacIntyre
SAC
2000
ACM
15 years 3 months ago
Parallel C++ for the Java Virtual Machine
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
Timothy E. Denehy, Chang-Hyun Jo
« Prev « First page 1516 / 1762 Last » Next »