Sciweavers

17298 search results - page 253 / 3460
» Abstract computing machines
Sort
View
HPCN
1997
Springer
15 years 8 months ago
A Programming Interface for NUMA Shared-Memory Clusters
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...
Marcus Dormanns, Walter Sprangers, Hubert Ertl, Th...
VSTTE
2005
Springer
15 years 9 months ago
From the How to the What
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
Tiziana Margaria, Bernhard Steffen
FASE
2008
Springer
15 years 5 months ago
Regular Inference for State Machines Using Domains with Equality Tests
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
Therese Berg, Bengt Jonsson, Harald Raffelt
WDAG
2010
Springer
230views Algorithms» more  WDAG 2010»
15 years 2 months ago
Implementing Fault-Tolerant Services Using State Machines: Beyond Replication
Abstract—This paper describes a method to implement faulttolerant services in distributed systems based on the idea of fused state machines. The theory of fused state machines us...
Vijay K. Garg
MODELS
2007
Springer
15 years 10 months ago
Enhancing UML State Machines with Aspects
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
Gefei Zhang, Matthias M. Hölzl, Alexander Kna...