4520 search results - page 18 / 904 » Algebraic Techniques for Timed Systems |
112
click to vote
SC
2009
ACM
15 years 8 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...
112
click to vote
ACSD
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
113
click to vote
HYBRID
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
105
click to vote
FUIN
2007
15 years 1 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...