5180 search results - page 276 / 1036 » Concurrency, Time, and Constraints |
157
click to vote
JFP
2007
15 years 6 months ago
2007
Functional dependencies are a popular and useful extension to Haskell style type classes. We give a reformulation of functional dependencies in terms of Constraint Handling Rules ...
156
click to vote
AIPS
2011
14 years 10 months ago
2011
In recent years, there has been considerable interest in the use of planning techniques in new media and computer games. Many traditional planning notions no longer apply in the c...
199
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...
195
Voted
RTCSA
2005
IEEE
16 years 9 days ago
2005
IEEE
This paper presents an implementation of feedback control strategy on distributed static scheduling. The static schedule is created taking into account the average execution times...
258
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
In a Mobile Ad-hoc Network (MANET), due to the mobility and energy limitations of nodes, disconnection and network partitioning occur frequently. In addition, transactions in many...