Sciweavers

4511 search results - page 586 / 903
» Observation Based System Security
Sort
View
3DPVT
2006
IEEE
239views Visualization» more  3DPVT 2006»
15 years 10 months ago
Self-Calibration of Multiple Laser Planes for 3D Scene Reconstruction
Self-calibration is one of the most active issues concerning vision-based 3D measurements. However, in the case of the light sectioning method, there has been little research cond...
Ryo Furukawa, Hiroshi Kawasaki
SC
2000
ACM
15 years 9 months ago
Landing CG on EARTH: A Case Study of Fine-Grained Multithreading on an Evolutionary Path
We report on our work in developing a fine-grained multithreaded solution for the communicationintensive Conjugate Gradient (CG) problem. In our recent work, we developed a simpl...
Kevin B. Theobald, Gagan Agrawal, Rishi Kumar, Ger...
164
Voted
ESEC
1997
Springer
15 years 8 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
106
Voted
GECCO
2006
Springer
222views Optimization» more  GECCO 2006»
15 years 8 months ago
High-order punishment and the evolution of cooperation
The Prisoner's Dilemma and the Public Goods Game are models to study mechanisms leading to the evolution of cooperation. From a simplified rational and egoistic perspective t...
Bastian Baranski, Thomas Bartz-Beielstein, Rü...
SPIN
2000
Springer
15 years 8 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...