4067 search results - page 479 / 814 » Programs for Applying Symmetries |
195
click to vote
JSAI
2005
Springer
16 years 5 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...
197
click to vote
LCPC
2005
Springer
16 years 5 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...
175
click to vote
OTM
2005
Springer
16 years 4 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...
165
click to vote
PVM
2005
Springer
16 years 4 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...
147
click to vote
SCOPES
2005
Springer
16 years 4 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...