1938 search results - page 328 / 388 » Dependable Software |
118
click to vote
TSE
2010
15 years 23 days ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
111
Voted
CLOUDCOM
2010
Springer
15 years 12 days ago
2010
Springer
Abstract--Commercial services for provisioning software components and virtual infrastructure in the cloud are emerging. For customers, this creates a multitude of possibilities fo...
178
click to vote
ERSA
2010
15 years 12 days ago
2010
The pixel purity index algorithm is employed in remote sensing for analyzing hyperspectral images. A single pixel usually covers several different materials, and its observed spect...
152
click to vote
GROUP
2010
ACM
15 years 11 days ago
2010
ACM
Looking for source code on the Web is a common practice among software developers. Previous research has shown that developers use social cues over technical cues to evaluate sour...
191
click to vote
ISOLA
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...