1123 search results - page 47 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
202
Voted
ICDE
1999
IEEE
16 years 4 months ago
1999
IEEE
Most operations of the relational algebra or SQL require a sorted stream of tuples for efficient processing. Therefore, processing complex relational queries relies on efficient a...
120
Voted
AAAI
1997
1997
Combining Approximate Front End Signal Processing with Selective Reprocessing in Auditory Perception
15 years 4 months ago
When dealing with signals from complex environments, where multiple time-dependent signal signatures can interfere with each other in stochastically unpredictable ways, traditiona...
138
Voted
ISORC
2005
IEEE
15 years 8 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
103
click to vote
CGO
2005
IEEE
15 years 8 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
130
Voted
IEEEPACT
1998
IEEE
15 years 6 months ago
1998
IEEE
Global locality analysis is a technique for improving the cache performance of a sequence of loop nests through a combination of loop and data layout optimizations. Pure loop tran...