1724 search results - page 220 / 345 » Models for Concurrency |
VLDB
1993
ACM
15 years 2 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
ICCD
2005
IEEE
15 years 6 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
PODC
1990
ACM
15 years 2 months ago
1990
ACM
Emulators that translate algorithms from the shared-memory model to two different message-passing models are presented. Both are achieved by implementing a wait-free, atomic, singl...
100
click to vote
ATVA
2008
Springer
14 years 12 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
FSKD
2007
Springer
15 years 4 months ago
2007
Springer
segmentation of moving regions in outdoor environment under a moving camera is a fundamental step in many vision systems including automated visual surveillance, human-machine int...