24554 search results - page 273 / 4911 » Dependable distributed systems |
175
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
213
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
An improved approach for the estimation of the frequency dependent reverberation time (RT) by means of allpass transformed filterbanks is presented. It is shown that by means of ...
180
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
In software development, resources for quality assurance are limited by time and by cost. In order to allocate resources effectively, managers need to rely on their experience bac...
149
click to vote
ICRA
2006
IEEE
16 years 15 days ago
2006
IEEE
— Robotics applications based on computer vision algorithms are highly constrained to indoor environments where conditions may be controlled. The development of robust visual alg...
154
click to vote
ASPLOS
2006
ACM
16 years 14 days ago
2006
ACM
Significant time is spent by companies trying to reproduce and fix bugs. BugNet and FDR are recent architecture proposals that provide architecture support for deterministic rep...