190 search results - page 9 / 38 » Symmetry and Satisfiability: An Update |
103
click to vote
APNOMS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. In this paper, an efficient neighbor AR (Access Router) discovery scheme and handoff procedure using neighbor information are proposed. It allows each AR and Mobility Anc...
162
click to vote
ECMDAFA
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
A coded modulation system is considered in which nonbinary coded symbols are mapped directly to nonbinary modulation signals. It is proved that if the modulator-channel combination...
125
click to vote
TIT
2008
14 years 11 months ago
2008
The term binary combinatorial Gray code refers to a list of binary words such that the Hamming distance between two neighboring words is one and the list satisfies some additional ...