Sciweavers

2452 search results - page 302 / 491
» The Case for Precision Sharing
Sort
View
ECRTS
2006
IEEE
16 years 21 days ago
Sensitivity Analysis for Fixed-Priority Real-Time Systems
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo
ISSRE
2006
IEEE
16 years 19 days ago
A State Exploration-Based Approach to Testing Java Monitors
A Java monitor is a Java class that defines one or more synchronized methods. Unlike a regular object, a Java monitor object is intended to be accessed by multiple threads simulta...
Yu Lei, Richard H. Carver, David Chenho Kung, Vidu...
162
Voted
KBSE
2006
IEEE
16 years 19 days ago
Accurate Centralization for Applying Model Checking on Networked Applications
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
Cyrille Artho, Pierre-Loïc Garoche
AVSS
2005
IEEE
16 years 7 days ago
Motion compensated refinement for low complexity pixel based distributed video coding
Distributed video coding (DVC) is a new coding paradigm that enables to exploit video statistics, partially or totally at the decoder. A particular case of DVC, Wyner-Ziv coding, ...
João Ascenso, Catarina Brites, Fernando Per...
ICRA
2005
IEEE
140views Robotics» more  ICRA 2005»
16 years 6 days ago
Adaptive Virtual Fixtures for Machine-Assisted Teleoperation Tasks
— It has been demonstrated in a number of robotic areas how the use of virtual fixtures improves task performance both in terms of execution time and overall precision, [1]. How...
Daniel Aarno, Staffan Ekvall, Danica Kragic