10707 search results - page 425 / 2142 » Designing executable abstractions |
149
click to vote
LCTRTS
2010
Springer
16 years 26 days ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
202
click to vote
BIBM
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—Unacceptable execution time of Non-rigid registration (NRR) often presents a major obstacle to its routine clinical use. Parallel computing is an effective way to accele...
172
click to vote
CGO
2009
IEEE
16 years 25 days ago
2009
IEEE
Abstract—Multicore systems have not only become ubiquitous in the desktop and server worlds, but are also becoming the standard in the embedded space. Multicore offers programabi...
201
click to vote
INFOCOM
2009
IEEE
16 years 20 days ago
2009
IEEE
Abstract—Recently, distributed data storage has gained increasing popularity for efficient and robust data management in wireless sensor networks (WSNs). But the distributed arc...
190
click to vote
ASIACRYPT
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. We describe a public-key encryption scheme based on lattices — specifically, based on the hardness of the learning with error (LWE) problem — that is secure against ...