1724 search results - page 251 / 345 » Concurrency in the Data Warehouse |
121
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— Stochastic mapping is an approach to the concurrent mapping and localization (CML) problem. The approach is powerful because feature and robot states are explicitly correlated....
166
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— In recent years, classical discrete event fault diagnosis techniques have been extended to Petri Net system models under partial order semantics [8], [9], [13]. In [14]...
168
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
148
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
168
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...