5740 search results - page 779 / 1148 » Dynamic Distributed BackJumping |
200
click to vote
IEEEPACT
2000
IEEE
15 years 11 months ago
2000
IEEE
Region-based compilation repartitions a program into more desirable compilation units for optimization and scheduling, particularly beneficial for ILP architectures. With region-...
166
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
161
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
193
click to vote
ICML
2000
IEEE
15 years 11 months ago
2000
IEEE
The reinforcement learning problem can be decomposed into two parallel types of inference: (i) estimating the parameters of a model for the underlying process; (ii) determining be...
188
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...