962 search results - page 167 / 193 » Some Reducibilities on Regular Sets |
116
Voted
AI
2006
Springer
15 years 3 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
135
click to vote
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper quantifies the effect of architectural design decisions on the performance of TxLinux. TxLinux is a Linux kernel modified to use transactions in place of locking primit...
160
Voted
EOR
2007
15 years 3 months ago
2007
Heavy industry maintenance facilities at aircraft service centers or railroad yards must contend with scheduling preventive maintenance tasks to ensure critical equipment remains ...
139
Voted
DT
2000
15 years 3 months ago
2000
Effective high-level ATPG tools are increasingly needed, as an essential element in the quest for reducing as much as possible the designer work on gate-level descriptions. We pro...
146
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We consider the problem of intruder deduction in security protocol analysis: that is, deciding whether a given message M can be deduced from a set of messages under the theory of ...