7065 search results - page 1091 / 1413 » Iterative Scheduling Algorithms |
164
click to vote
AMC
2008
15 years 6 months ago
2008
Abstract Nowadays many real problems can be modelled as Constraint Satisfaction Problems (CSPs). A search algorithm for constraint programming requires an order in which variables ...
207
click to vote
IEICET
2008
15 years 6 months ago
2008
Sensor nodes report the sensed data packets to the sink and depending on the application these packets may have diverse attributes: time-critical (TC) and non time-critical (NTC). ...
188
Voted
ENTCS
2006
15 years 6 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
187
click to vote
ET
2002
15 years 6 months ago
2002
We propose an integrated framework for the design of SOC test solutions, which includes a set of algorithms for early design space exploration as well as extensive optimization for...
165
click to vote
JCST
2000
15 years 6 months ago
2000
LinuxDirector is a connection director that supports load balancing among multiple Internet servers, which can be used to build scalable Internet services based on clusters of ser...