Sciweavers

192 search results - page 10 / 39
» concurrency 2002
Sort
View
CONCURRENCY
2002
110views more  CONCURRENCY 2002»
14 years 10 months ago
Parallel visualization of gigabyte datasets in GeoFEM
Parallel visualization of large datasets in GeoFEM is described. Our visualization subsystem supports concurrent visualization with computation, and outputs a simplified small gra...
Issei Fujishiro, Li Chen, Yuriko Takeshima, Hiroko...
JACM
2002
87views more  JACM 2002»
14 years 10 months ago
Bounded concurrent timestamp systems using vector clocks
Abstract. Shared registers are basic objects used as communication mediums in asynchronous concurrent computation. A concurrent timestamp system is a higher typed communication obj...
Sibsankar Haldar, Paul M. B. Vitányi
ICPR
2002
IEEE
15 years 11 months ago
Concurrent Map Building and Localization with Landmark Validation
This communication addresses the issue of concurrent map building and localization (CML) for a mobile robot in an unknown environment. The proposed solution extends over previous ...
Juan Andrade-Cetto, Alberto Sanfeliu
NJC
2002
109views more  NJC 2002»
14 years 10 months ago
Temporal Concurrent Constraint Programming: Denotation, Logic and Applications
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
Mogens Nielsen, Catuscia Palamidessi, Frank D. Val...
CODES
2002
IEEE
15 years 3 months ago
The design context of concurrent computation systems
Design for performance-optimization of programmable, semicustom SoCs requires the ability to model and optimize the behavior of the system as a whole. Neither the hardware-testben...
JoAnn M. Paul, Christopher M. Eatedali, Donald E. ...