Sciweavers

4636 search results - page 785 / 928
» Modelling and Validation with VipTool
Sort
View
RTSS
2006
IEEE
14 years 3 months ago
An Optimal Real-Time Scheduling Algorithm for Multiprocessors
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
SMI
2006
IEEE
112views Image Analysis» more  SMI 2006»
14 years 3 months ago
ReMESH: An Interactive Environment to Edit and Repair Triangle Meshes
Polygonal meshes obtained from acquisition of real-world objects may easily exhibit topological or geometrical defects, which often prevent subsequent processing and analysis to p...
Marco Attene, Bianca Falcidieno
SRDS
2006
IEEE
14 years 3 months ago
Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems
We consider the problem of recovering from failures of distributable threads with assured timeliness. When a node hosting a portion of a distributable thread fails, it causes orph...
Edward Curley, Jonathan Stephen Anderson, Binoy Ra...
WSE
2006
IEEE
14 years 3 months ago
Ontology-based Program Comprehension Tool Supporting Website Architectural Evolution
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
Yonggang Zhang, René Witte, Juergen Rilling...
ACCV
2006
Springer
14 years 3 months ago
Theory and Calibration for Axial Cameras
Although most works in computer vision use perspective or other central cameras, the interest in non-central camera models has increased lately, especially with respect to omnidire...
Srikumar Ramalingam, Peter F. Sturm, Suresh K. Lod...