Sciweavers

12697 search results - page 401 / 2540
» Call for Papers
Sort
View
POPL
2009
ACM
16 years 2 months ago
Language constructs for transactional memory
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
Tim Harris
BIRTHDAY
2009
Springer
16 years 2 months ago
A Semantical Account of Progression in the Presence of Defaults
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
Gerhard Lakemeyer, Hector J. Levesque
EDBT
2009
ACM
124views Database» more  EDBT 2009»
16 years 2 months ago
A sequential indexing scheme for flash-based embedded systems
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
Shaoyi Yin, Philippe Pucheral, Xiaofeng Meng
DATE
2009
IEEE
76views Hardware» more  DATE 2009»
16 years 2 months ago
LFSR-based test-data compression with self-stoppable seeds
—The main disadvantage of LFSR-based compression is that it should be usually combined with a constrained ATPG process, and, as a result, it cannot be effectively applied to IP c...
M. Koutsoupia, Emmanouil Kalligeros, Xrysovalantis...
ICC
2009
IEEE
101views Communications» more  ICC 2009»
16 years 2 months ago
Interference Subtraction with Supplementary Cooperation in Wireless Cooperative Networks
Abstract—In wireless networks, the broadcast nature of wireless transmission enables cooperation by sharing the same transmissions with nearby receivers and thus can help improve...
Zhengguo Sheng, Zhiguo Ding, Kin K. Leung