Sciweavers

1959 search results - page 68 / 392
» Concerned About Separation
Sort
View
ISPD
1997
ACM
103views Hardware» more  ISPD 1997»
15 years 4 months ago
On two-step routing for FPGAS
We present results which show that a separate global and detailed routing strategy can be competitive with a combined routing process. Under restricted architectural assumptions, ...
Guy G. Lemieux, Stephen Dean Brown, Daniel Vranesi...
VLDB
1997
ACM
132views Database» more  VLDB 1997»
15 years 4 months ago
A Foundation for Multi-dimensional Databases
We present a multi-dimensional database model, which we believe can serve as a conceptual model for On-Line Analytical Processing (OLAP)-based applications. Apart from providing t...
Marc Gyssens, Laks V. S. Lakshmanan
IJCIS
2006
126views more  IJCIS 2006»
14 years 12 months ago
Developing Distributed Services Using an Aspect Oriented Model Driven Framework
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
Arnor Solberg, Devon M. Simmonds, Raghu Reddy, Rob...
ICASSP
2011
IEEE
14 years 3 months ago
Space-time adaptive processing for range-folded spread-Doppler radar clutter mitigation
This paper concerns the detection of radar targets masked by Doppler-spread surface backscatter from points beyond the radar’s maximum unambiguous range. Current methods for mit...
William W. Lee, Jeffrey L. Krolik
POPL
2010
ACM
15 years 9 months ago
Structuring the verification of heap-manipulating programs
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
Aleksandar Nanevski, Josh Berdine, Viktor Vafeiadi...