Sciweavers

234 search results - page 33 / 47
» QuARS Express - A Tool Demonstration
Sort
View
ICCD
2000
IEEE
103views Hardware» more  ICCD 2000»
14 years 5 months ago
Efficient Place and Route for Pipeline Reconfigurable Architectures
In this paper, we present a fast and eficient compilation methodology for pipeline reconfigurable architectures. Our compiler back-end is much faster than conventional CAD tools, ...
Srihari Cadambi, Seth Copen Goldstein
CIBCB
2006
IEEE
14 years 2 months ago
A Swarm Intelligence Based Algorithm for Proteomic Pattern Detection of Ovarian Cancer
- The advanced protein profiling technologies can simultaneously resolve and analyze multiple proteins. Evaluating multiple proteins will be essential to establish signature proteo...
Yan Meng
DIAGRAMS
2004
Springer
14 years 1 months ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton
IV
2002
IEEE
162views Visualization» more  IV 2002»
14 years 1 months ago
Infoticles: Information Modeling in Immersive Environments
This paper introduces an immersive virtual reality application that allows users to browse and explore the contents of database systems. We have implemented a visualization metaph...
Andrew Vande Moere
ECOOP
2008
Springer
13 years 10 months ago
Safe Cross-Language Inheritance
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
Kathryn E. Gray