1446 search results - page 189 / 290 » Hardware Software Co-Design Using Functional Languages |
146
click to vote
VRML
1998
ACM
15 years 9 months ago
1998
ACM
This paper discusses the history and design decisions behind OpenWorlds, the first C++ toolkit for VRML 2.0 integration. OpenWorlds is a highly extensible set of libraries which s...
130
click to vote
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
157
click to vote
SEBD
1997
15 years 6 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
141
click to vote
TRUST
2010
Springer
15 years 10 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...
148
click to vote
ACL2
2006
ACM
15 years 11 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...