5180 search results - page 223 / 1036 » Concurrency, Time, and Constraints |
151
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
175
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
Many combinatorial problems, such as car sequencing and rostering, feature sequence constraints, restricting the number of occurrences of certain values in every subsequence of a g...
172
click to vote
SIAMDM
2008
15 years 6 months ago
2008
Recently, a strong link has been discovered between supermodularity on lattices and tractability of optimization problems known as maximum constraint satisfaction problems. The pre...
264
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
As XML-based messages have become common in many client-server protocols, there is a need to protect application servers from invalid or dangerous messages. This leads to the XML ...
153
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Advances in chip-multiprocessor processing capabilities has led to an increased power consumption and temperature hotspots. Maintaining the on-chip temperature is import...