195 search results - page 17 / 39 » Process Algebra with Nonstandard Timing |
167
click to vote
SAS
1992
Springer
15 years 6 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
130
click to vote
TIME
1994
IEEE
15 years 6 months ago
1994
IEEE
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
117
click to vote
SC
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents a dynamic task scheduling approach to executing dense linear algebra algorithms on multicore systems (either shared-memory or distributed-memory). We use a tas...
110
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
105
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
— A new standpoint on financial time series, without the use of any mathematical model and of probabilistic tools, yields not only a rigorous approach of trends and volatility, ...