6554 search results - page 1094 / 1311 » Constraint Logic Programming |
140
click to vote
CAV
2009
Springer
15 years 9 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
144
click to vote
UM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper focuses on the utilization of the history of navigation within recommender systems. It aims at designing a collaborative recommender based on Markov models rel...
142
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
The IA-64 architecture has been designed as a synthesis of VLIW and superscalar design principles. It incorporates typical functionality known from embedded processors as multiply...
128
click to vote
ECRTS
2000
IEEE
15 years 8 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
127
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
With the recent trend towards deregulating power systems around the world, transfer capability computation emerges as the key issue to a smoothly running power market with multipl...