3221 search results - page 166 / 645 » Termination of Linear Programs |
147
click to vote
ICALP
2010
Springer
15 years 8 months ago
2010
Springer
In the first part of the paper, we propose an algorithm which inputs an NFA A and a word a1
145
click to vote
DAM
2008
15 years 6 months ago
2008
We study a colourful generalization of the linear programming feasibility problem, comparing the algorithms introduced by B
174
click to vote
CISIS
2008
IEEE
16 years 24 days ago
2008
IEEE
Hardware/software partitioning is a crucial problem in embedded system design. In this paper, we provide an alternative approach to solve this problem using Particle Swarm Optimiz...
181
click to vote
PLDI
2004
ACM
15 years 11 months ago
2004
ACM
e Synchronization Abstractions “Well, it just so happens that your friend here is only mostly dead. There’s a big difference between mostly dead and all dead.” – Miracle Ma...
187
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
A program is defined to be noninterferent if its outputs cannot be influenced by inputs at a higher security level than their own. Various researchers have demonstrated how this pr...