4666 search results - page 104 / 934 » Equations on Timed Languages |
107
Voted
POPL
1996
ACM
15 years 5 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
126
click to vote
TASE
2010
IEEE
14 years 7 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
100
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
120
click to vote
SIAMSC
2008
15 years 21 days ago
2008
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
116
Voted
RSS
2007
15 years 2 months ago
2007
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...