4311 search results - page 620 / 863 » Code Generation for Distributed Systems |
114
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
115
Voted
IANDC
2006
15 years 16 days ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
107
Voted
IJCAI
2003
15 years 1 months ago
2003
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
86
Voted
SASO
2009
IEEE
15 years 7 months ago
2009
IEEE
Geographically embedded processes with hidden origins are often observable in events they generate. It is common practice in criminological forensics to reverse simple equation-ba...
102
Voted
IPPS
2005
IEEE
15 years 6 months ago
2005
IEEE
Consistency is an important issue in Distributed Shared Memory (DSM) systems. These systems share a set of objects or virtual memory pages. The data sharing enables the applicatio...