983 search results - page 105 / 197 » Negative-Weight Cycle Algorithms |
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
TACAS
2009
Springer
15 years 7 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
GLVLSI
2009
IEEE
15 years 7 months ago
2009
IEEE
Based on the insertion of internal and external redundant wires into L-type and U-type wires, an efficient two-phase reliability-driven insertion algorithm is proposed to insert r...
104
click to vote
ESA
2009
Springer
15 years 7 months ago
2009
Springer
Bose et al. [2] asked whether for every simple arrangement A of n lines in the plane there exists a simple n-gon P that induces A by extending every edge of P into a line. We prov...
79
Voted
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
—The second-order cyclostationarity of cyclically prefixed single carrier linear digital (CP-SCLD) modulated signals is investigated with emphasis on its applicability to signal ...