1690 search results - page 209 / 338 » Algorithmic Properties of Millstream Systems |
138
click to vote
STOC
2007
ACM
16 years 5 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
141
click to vote
TACAS
2010
Springer
16 years 1 days ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
145
click to vote
TACAS
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by in...
130
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
The necklace hypercube has recently been introduced as an attractive alternative to the well-known hypercube. Previous research on this network topology has mainly focused on topo...
125
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— In this contribution projection approximation subspace tracking using deflation (PASTD) is investigated in the context of MIMO transmit preprocessing systems by exploi...