Sciweavers

3575 search results - page 181 / 715
» Modeling Concurrency with Geometry
Sort
View
HICSS
2000
IEEE
153views Biometrics» more  HICSS 2000»
15 years 9 months ago
On Verifying Distributed Multithreaded Java Programs
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
Jessica Chen
HPTS
1993
147views Database» more  HPTS 1993»
15 years 9 months ago
Generic Action Support for Distributed, Cooperative Applications
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
Edgar Nett, Michael Mock
162
Voted
CONCUR
1992
Springer
15 years 9 months ago
The Duality of TIme and Information
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
Vaughan R. Pratt
ISBMS
2010
Springer
15 years 12 months ago
Biomechanical Simulation of Human Eye Movement
Understanding the neural control and mechanics of human eye movement has significant implications for treating vision disorders. A computational model incorporating physiological ...
Qi Wei, Shinjiro Sueda, Dinesh K. Pai
ICPR
2008
IEEE
15 years 11 months ago
Convenient reconstruction of natural plants by images
Convenient reconstruction of natural plants is a difficult task because of their intrinsic complex geometry. In this paper, we propose a convenient image-based approach to modeli...
Wei Ma, Hongbin Zha