Sciweavers

11017 search results - page 170 / 2204
» Closure Systems and their Structure
Sort
View
IANDC
2006
81views more  IANDC 2006»
13 years 8 months ago
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
Samy Abbes, Albert Benveniste
CORR
2010
Springer
57views Education» more  CORR 2010»
13 years 8 months ago
Optimal Control Strategies in Delayed Sharing Information Structures
The n-step delayed sharing information structure is investigated. This information structure comprises of K controllers that share their information with a delay of n time steps. ...
Ashutosh Nayyar, Aditya Mahajan, Demosthenis Tenek...
POPL
2006
ACM
14 years 8 months ago
Certified assembly programming with embedded code pointers
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
Zhaozhong Ni, Zhong Shao
TVCG
2012
248views Hardware» more  TVCG 2012»
11 years 10 months ago
Scanning 3D Full Human Bodies Using Kinects
—Depth camera such as Microsoft Kinect, is much cheaper than conventional 3D scanning devices, and thus it can be acquired for everyday users easily. However, the depth data capt...
Jing Tong, Jin Zhou, Ligang Liu, Zhigeng Pan, Hao ...
WCRE
2000
IEEE
14 years 18 days ago
A Structured Demonstration of Five Program Comprehension Tools: Lessons Learnt
The purpose of this panel is to report on a structured demonstration for comparing program comprehension tools. Five program comprehension tool designers applied their tools to a ...
Susan Elliott Sim, Margaret-Anne D. Storey, Andrea...