8132 search results - page 173 / 1627 » Dependability, Abstraction, and Programming |
179
click to vote
SAS
2005
Springer
16 years 12 hour ago
2005
Springer
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
199
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
186
click to vote
DATE
2007
IEEE
16 years 26 days ago
2007
IEEE
In data dominated applications, loop transformations have a huge impact on the lifetime of array data and therefore on memory footprint. Since a locally optimal loop transformatio...
162
click to vote
DSN
2007
IEEE
16 years 26 days ago
2007
IEEE
Attacks exploiting race conditions have been considered rare and “low risk”. However, the increasing popularity of multiprocessors has changed this situation: instead of waiti...
184
click to vote
PAMI
2010
15 years 5 months ago
2010
—Although significant efforts have been made in developing nonnegative blind source separation techniques, accurate separation of positive yet dependent sources remains a challen...