372 search results - page 33 / 75 » An Approach to Mixed Systems Co-Synthesis |
SIGGRAPH
1994
ACM
14 years 1 months ago
1994
ACM
A new algorithm for computing contact forces between solid objects with friction is presented. The algorithm allows a mix of contact points with static and dynamic friction. In co...
RSA
2000
13 years 8 months ago
2000
We analyze various stochastic processes for generating permutations almost uniformly at random in distributed and parallel systems. All our protocols are simple, elegant and are b...
PADL
2012
Springer
12 years 4 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
DASFAA
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. The lack of flexibility is often seen as an inhibitor for the successful application of workflow technology. Many researchers have proposed different ways of addressin...
ISARCS
2010
13 years 11 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...