Sciweavers

122 search results - page 10 / 25
» The First Report on Scheme Revisited
Sort
View
SCS
2004
13 years 10 months ago
The HEAT/ACT Preliminary Safety Case: A case study in the use of Goal Structuring Notation
The HEAT/ACT project consists of replacing the conventional mechanical flight control system of a helicopter with a fly-by-wire system. With such a project, the safety concerns ar...
Paul Chinneck, David Pumfrey, John McDermid
SIGCOMM
2010
ACM
13 years 9 months ago
The case for active device drivers
We revisit the device-driver architecture supported by the majority of operating systems, where a driver is a passive object that does not have its own thread of control and is on...
Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser
IJCGA
2008
114views more  IJCGA 2008»
13 years 9 months ago
Fixed Parameter Algorithms for the Minimum Weight Triangulation Problem
Published as Technical Report LU-CS-TR:2005-238 on February 13, 2006, ISSN 1650-1276 Report 158, Lund University, Sweden 2006 We discuss and compare four fixed parameter algorithm...
Magdalene G. Borgelt, Christian Borgelt, Christos ...
ICA
2004
Springer
14 years 2 months ago
Accurate, Fast and Stable Denoising Source Separation Algorithms
Abstract. Denoising source separation is a recently introduced framework for building source separation algorithms around denoising procedures. Two developments are reported here. ...
Harri Valpola, Jaakko Särelä
ICIP
2009
IEEE
14 years 10 months ago
Efficiency Improvements For A Geometric-partition-based Video Coder
H.264/AVC has brought an important increase in coding efficiency in comparison to previous video coding standards. One of its features is the use of macroblock partitioning in a t...