536 search results - page 27 / 108 » A computer verified, monadic, functional implementation of t... |
195
click to vote
EUC
2006
Springer
15 years 9 months ago
2006
Springer
Extracting appropriate custom instructions is an important phase for implementing an application on an extensible processor with a reconfigurable functional unit (RFU). Custom inst...
153
click to vote
TRUST
2010
Springer
15 years 11 months ago
2010
Springer
Secure outsourcing of computation to an untrusted (cloud) service provider is becoming more and more important. Pure cryptographic solutions based on fully homomorphic and verifia...
270
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
205
click to vote
HASKELL
2009
ACM
16 years 16 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
176
click to vote
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Remote sensing applications often concern very large volumes of spatio-temporal data, the emerging Grid computing technologies bring an effective solution to this problem. The Open...