4067 search results - page 479 / 814 » Programs for Applying Symmetries |
221
click to vote
JSAI
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
223
click to vote
LCPC
2005
Springer
16 years 29 days ago
2005
Springer
Static Single Assignment (SSA) has been widely accepted as the intermediate program representation of choice in most modern compilers. It allows for a much more efficient data flo...
201
click to vote
OTM
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper describes a Java-based communication middleware, called AspectJRMI, that applies aspect-oriented programming concepts to achieve the following requirements: (1...
199
Voted
PVM
2005
Springer
16 years 28 days ago
2005
Springer
Many large-scale production parallel programs often run for a very long time and require data checkpoint periodically to save the state of the computation for program restart and/o...
165
click to vote
SCOPES
2005
Springer
16 years 28 days ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...