1399 search results - page 178 / 280 » Multi-party Finite Computations |
155
click to vote
TCS
2008
15 years 2 months ago
2008
We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely non...
149
click to vote
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
163
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
130
click to vote
SOFSEM
2010
Springer
15 years 2 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
132
click to vote
ICCS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We analyze and simulate a near continuum MagnetoGasDynamic(MGD) flow inside a two-dimensional microchannel with a low magnetic Reynolds number assumption. Complex physics...