17298 search results - page 280 / 3460 » Abstract computing machines |
149
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
144
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
We propose a distributed data structure for maintaining spatial data sets on message-passing, distributed memory machines. The data structure is based on orthogonal bisection tree...
179
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
151
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
An algorithmfor data condensation using support vector machines (SVM's)is presented. The algorithm extracts datapoints lying close to the class boundaries,whichform a much re...
143
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
This work proposes a parallel memetic algorithm applied to the total tardiness single machine scheduling problem. Classical models of parallel evolutionary algorithms and the gene...