1206 search results - page 227 / 242 » Concurrent Abstract Predicates |
126
Voted
3DPH
2009
14 years 10 months ago
2009
Abstract. Teleradiology, which enables distribution and sharing of digital medical images for collaborative diagnosis, has enjoyed rapid success due to the advances in telecommunic...
114
Voted
BIRTHDAY
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. This paper combines three topics to which Amir Pnueli contributed significantly: the semantics of languages for concurrency, the semantics of statecharts, and reactive an...
152
click to vote
ICDCS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The networked application environment has motivated the development of multitasking operating systems for sensor networks and other low-power electronic devices, but thei...
119
Voted
NFM
2011
14 years 7 months ago
2011
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
128
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...