Sciweavers

2741 search results - page 232 / 549
» Designing Law-Compliant Software Requirements
Sort
View
FGCS
2006
122views more  FGCS 2006»
15 years 6 months ago
Conceptual interfaces in hypre
The hypre software library is being developed with the aim of providing scalable solvers for the solution of large, sparse linear systems on massively parallel computers. To this e...
Robert D. Falgout, Jim E. Jones, Ulrike Meier Yang
BIRTHDAY
2010
Springer
15 years 3 months ago
Aspects of Data-Intensive Cloud Computing
Abstract. The concept of Cloud Computing is by now at the peak of public attention and adoption. Driven by several economic and technological enablers, Cloud Computing is going to ...
Sebastian Frischbier, Ilia Petrov
PAMI
2012
13 years 9 months ago
Joint Depth and Color Camera Calibration with Distortion Correction
—We present an algorithm that simultaneously calibrates two color cameras, a depth camera, and the relative pose between them. The method is designed to have three key features: ...
Daniel Herrera C., Juho Kannala, Janne Heikkil&aum...
HICSS
2007
IEEE
120views Biometrics» more  HICSS 2007»
16 years 26 days ago
A Model-Based Approach for Platform-Independent Binary Components with Precise Timing and Fine-Grained Concurrency
Fine grained concurrency and accurate timing can be essential for embedded hardware and software systems. These requirements should be reflected in the specification and must be c...
Tim Schattkowsky, Gregor Engels, Alexander Fö...
SIGSOFT
2005
ACM
16 years 7 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...