MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Path slicing." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

47 documents found, showing 1 through 10. Next 10 →

ATOM

Slice-Based Path Planning
by Michael Charles Mchenry — 1998
…SLICE-BASED PATH PLANNING by Michael Charles McHenry A Dissertation Presented to the FACULTY…
Cited by 3 (0 self) – Add To MetaCart

Slicing Abstractions
by Ingo Brückner, Klaus Dräger, Bernd Finkbeiner, Heike Wehrheim — 2007 — In FSEN’07, LNCS
… on abstract error paths (thus analyzing individual paths, not the full abstraction). Path slicing [JM05…
Cited by 1 (1 self) – Add To MetaCart

BitCube: A Three-Dimensional Bitmap Indexing for XML Documents
by Jong P. Yoon, Vijay Raghavan, Venu Chakilam, Larry Kerschberg — 2001 — Journal of Intelligent Information Systems
… contents) for each ePath. For a BitCube, we propose two types of slice (slice of ePath and slice of Content…
Cited by 6 (1 self) – Add To MetaCart

Capturing and Querying Multiple Aspects of Semistructured Data
by Curtis E. Dyreson, Michael H. Böhlen, Christian S. Jensen — 1999 — In Proceedings of the International Conference on Very Large Databases (VLDB ’98
… labels on edges between the same pair of nodes. Finally, Slice restructures the labels along paths…
Cited by 16 (5 self) – Add To MetaCart

This work was supported by the Joint Services Electronics Program under contract N-000 14-75-C-060 1 and by the National Science Foundation under grant GK-43322 .
by Sel- Principles Of, John F. Wakerly, John F. Wakerly
… be implemented with eight 4-bit data path slices or 2-bit data path slices et. al., The processor architecture…
Add To MetaCart

Counterexamples with loops for predicate abstraction
by Daniel Kroening, Georg Weissenbacher — 2006 — In CAV’2006: Computer Aided Verification, LNCS 4144
… without loops. Therefore, Slam suffers from the problem described above. Path Slicing is an approach…
Cited by 6 (0 self) – Add To MetaCart

BitCube: Clustering and Statistical Analysis for XML Documents
by Jong Yoon, Vijay Raghavan — 2001 — Journal of Intelligent Information Systems
… two types of slice (slice of ePath and slice of Content) and project (of documents). 4.1 BitCube We…
Cited by 1 (0 self) – Add To MetaCart

Design of the 21174 Memory Controller for DIGITAL Personal Workstations
by R. Schumann — 1997
… used with Alpha microprocessors have used a data path slice design, with two or four data path chips…
Cited by 12 (0 self) – Add To MetaCart

Compiler based Exploration of DSP Energy Savings by SIMD Operations
by Markus Lorenz, Peter Marwedel, Thorsten Dräger, Gerhard Fettweis, Rainer Leupers, Technische Universität Dresden — 2004 — in Proceedings of the ASP-DAC
… in parallel according to the SIMD principle. In the case of the M3-DSP there are 16 data path slices. In order…
Cited by 2 (0 self) – Add To MetaCart

A Robust Adaptive Metric for Deadline Assignment in Heterogeneous Distributed Real-Time Systems
by Jan Jonsson — 1999 — Real-Time Systems: The International Journal of Time-Critical Computing Systems
… critical path concept. The strategy used for finding slices is to determine a critical path in the task…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB