9626 search results - page 1351 / 1926 » Invariant Based Programming |
179
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Hardware transactional memory is a promising synchronization technology for chip-multiprocessors. It simplifies programming of concurrent applications and allows for higher concu...
187
click to vote
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
158
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— We consider a financial decision problem involving dynamic investment decisions on a single risky instrument over multiple and discrete time periods. Investment returns are as...
193
click to vote
DIGITEL
2008
IEEE
16 years 1 months ago
2008
IEEE
As robot technologies have developed rapidly, many researchers have tried to use robots to support education. Studies have shown that robots can help students develop problem-solv...
213
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we study QoS routing in wireless mesh networks with cognitive radios, which involves route selection, channel allocation and scheduling. It turns out to be a har...