699 search results - page 57 / 140 » Computation of Interprocedural Control Dependence |
MSWIM
2006
ACM
14 years 4 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
HYBRID
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
ACSC
2008
IEEE
14 years 5 months ago
2008
IEEE
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...
PDCAT
2005
Springer
14 years 4 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper details the first step of the Design Trotter framework for design space exploration applied to dedicated SOCs. The aim of this step is to provide metrics in order to gu...