1312 search results - page 182 / 263 » Embedded contract languages |
124
Voted
SPAA
1997
ACM
15 years 7 months ago
1997
ACM
Pipelining has been used in the design of many PRAM algorithms to reduce their asymptotic running time. Paul, Vishkin, and Wagener (PVW) used the approach in a parallel implementat...
128
Voted
ISSAC
1995
Springer
15 years 7 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
160
Voted
HICSS
2010
IEEE
15 years 5 months ago
2010
IEEE
1 The latent semantic indexing (LSI) methodology for information retrieval applies the singular value decomposition to identify an eigensystem for a large matrix, in which cells re...
152
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
154
click to vote
CIDR
2003
15 years 4 months ago
2003
We introduce a system to address the challenges involved in managing the multidimensional sensor data streams generated within immersive environments. We call this data type, imme...