Sciweavers

675 search results - page 89 / 135
» A Multi-objective Approach to Configuring Embedded System Ar...
Sort
View
JPDC
2007
167views more  JPDC 2007»
13 years 8 months ago
On the design of high-performance algorithms for aligning multiple protein sequences on mesh-based multiprocessor architectures
In this paper, we address the problem of multiple sequence alignment (MSA) for handling very large number of proteins sequences on mesh-based multiprocessor architectures. As the ...
Diana H. P. Low, Bharadwaj Veeravalli, David A. Ba...
EMSOFT
2006
Springer
14 years 15 days ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
CVPR
2004
IEEE
14 years 10 months ago
A Flexible Projector-Camera System for Multi-Planar Displays
We present a novel multi-planar display system based on an uncalibrated projector-camera pair. Our system exploits the juxtaposition of planar surfaces in a room to create ad-hoc ...
Mark Ashdown, Matthew Flagg, Rahul Sukthankar, Jam...
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
14 years 17 days ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
SEMWEB
2010
Springer
13 years 6 months ago
Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation. However, building an enterprise-scale forward-chaining ba...
Vladimir Kolovski, Zhe Wu, George Eadon