2741 search results - page 381 / 549 » Designing Law-Compliant Software Requirements |
175
click to vote
CN
1999
15 years 6 months ago
1999
Powerful servers for computation and storage, high-speed networking resources, and high-performance 3D graphics workstation, which are typically available in scientific research e...
192
click to vote
PVLDB
2008
15 years 6 months ago
2008
This paper introduces Clustera, an integrated computation and data management system. In contrast to traditional clustermanagement systems that target specific types of workloads,...
156
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
In this demonstration we present the Brown Dwarf, a distributed system designed to efficiently store, query and update multidimensional data. Deployed on any number of commodity ...
220
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Consumer electronics today such as cell phones often have one or more low-power FPGAs to assist with energyintensive operations in order to reduce overall energy consumption and i...
176
click to vote
STTT
2010
15 years 5 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...