3457 search results - page 94 / 692 » A Symbol Is Not a Symbol |
125
Voted
WCET
2010
14 years 10 months ago
2010
ing Abstract Caches with Symbolic Pipeline Analysis Stephan Wilhelm1 and Christoph Cullmann1 1 AbsInt Angewandte Informatik GmbH, Science Park 1; D-66123 Saarbr
109
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
119
Voted
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
CASC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We describe a symbolic framework for treating linear boundary problems with a generic implementation in the Theorema system. For ordinary differential equations, the ope...
100
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a quality management method for multimedia applications. The method takes as input an application software composed of actions. The execution times of actions are unkno...