7049 search results - page 108 / 1410 » Data Abstraction for CSP-OZ |
DLOG
2008
15 years 6 days ago
2008
Abstract. From the side of modelers and early-adopter industry, interest in reasoning over conceptual models and other online usage of conceptual models is growing. To obtain a mor...
ASPDAC
2005
ACM
14 years 12 months ago
2005
ACM
Abstract— Most previous studies on tiling concentrate on iteration space only for cache-based memory systems. However, more and more real-time embedded systems are adopting Scrat...
ICONIP
2007
14 years 11 months ago
2007
Abstract. Principal component analysis (PCA) is a widely used technique for data analysis and dimensionality reduction. Eigenvalue decomposition is the standard algorithm for solvi...
JAR
2008
14 years 10 months ago
2008
Abstract We present an extensible encoding of object-oriented data models into higherorder logic (HOL). Our encoding is supported by a datatype package that leverages the use of th...
ISEM
2007
14 years 9 months ago
2007
Abstract We present low-overhead protocols for disseminating streaming data in an interimistic environment in which the availability of computers, networks, and other resources is ...