Sciweavers

2421 search results - page 313 / 485
» Integrity Assurance Technique Using Determinant Approach
Sort
View
ESTIMEDIA
2006
Springer
15 years 8 months ago
Design of a WCET-Aware C Compiler
This paper presents techniques to tightly integrate worstcase execution time (WCET) information into a compiler framework. Currently, a tight integration of WCET information into ...
Heiko Falk, Paul Lokuciejewski, Henrik Theiling
STEP
2003
IEEE
15 years 10 months ago
On Analysis of Design Component Contracts: A Case Study
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
KI
1997
Springer
15 years 9 months ago
Fast Grid-Based Position TRacking for Mobile Robots
One of the fundamental problems in the eld of mobile robotics is the estimation of the robot's position in the environment. Position probability grids have been proven to be a...
Wolfram Burgard, Dieter Fox, Daniel Hennig
FASE
2008
Springer
15 years 6 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
BMCBI
2006
100views more  BMCBI 2006»
15 years 5 months ago
Design of microarray probes for virus identification and detection of emerging viruses at the genus level
Background: Most virus detection methods are geared towards the detection of specific single viruses or just a few known targets, and lack the capability to uncover the novel viru...
Cheng-Chung Chou, Te-Tsui Lee, Chun-Houh Chen, Hsi...