Sciweavers

1939 search results - page 300 / 388
» Dynamic Lex Constraints
Sort
View
ICECCS
2007
IEEE
154views Hardware» more  ICECCS 2007»
14 years 4 months ago
A light-weight static approach to analyzing UML behavioral properties
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
Lijun Yu, Robert B. France, Indrakshi Ray, Kevin L...
ICMCS
2007
IEEE
123views Multimedia» more  ICMCS 2007»
14 years 4 months ago
Efficient Parallelization of H.264 Decoding with Macro Block Level Scheduling
The H.264 decoder has a sequential, control intensive front end that makes it difficult to leverage the potential performance of emerging manycore processors. Preparsing is a fun...
Jike Chong, Nadathur Satish, Bryan C. Catanzaro, K...
ICRA
2007
IEEE
123views Robotics» more  ICRA 2007»
14 years 4 months ago
Model-Based Wheel Slip Detection for Outdoor Mobile Robots
— This paper introduces a model-based approach to estimating longitudinal wheel slip and detecting immobilized conditions of autonomous mobile robots operating on outdoor terrain...
Chris C. Ward, Karl Iagnemma
IEEEARES
2007
IEEE
14 years 4 months ago
Applying a Tradeoff Model (TOM) to TACT
In a software system, it is inevitable that components will occasionally fail to produce acceptable results and become unavailable to serve its clients. Replication is the techniq...
Raihan Al-Ekram, Richard C. Holt, Chris Hobbs
IPPS
2007
IEEE
14 years 4 months ago
Using Speed Diagrams for Symbolic Quality Management
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifa...