1972 search results - page 180 / 395 » Evolutionary algorithms and dynamic programming |
124
click to vote
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
129
click to vote
MICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
A dynamic optimizer is a runtime software system that groups a program’s instruction sequences into traces, optimizes those traces, stores the optimized traces in a softwarebase...
112
click to vote
SFP
2000
15 years 3 months ago
2000
: We describe an algorithm approximatingthe following question: Given two types t1 and t2, are there instances (t1) and (t2) denoting a common element? By answering this question w...
128
click to vote
JUCS
2010
15 years 29 days ago
2010
: Mobile agent technology advocates the mobility of code rather than the transfer of data. As data is found in several sites, a mobile agent has to plan an itinerary to visit sever...
113
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...