2042 search results - page 218 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
124
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
165
Voted
CATA
2006
15 years 4 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
129
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
206
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
This paper describes query processing in the DBO database system. Like other database systems designed for ad-hoc, analytic processing, DBO is able to compute the exact answer to ...
123
Voted
JSC
2010
15 years 1 months ago
2010
We consider the problem of solving a linear system Ax = b over a cyclotomic field. What makes cyclotomic fields of special interest is that we can easily find a prime p that sp...