321 search results - page 27 / 65 » Relating complexity and precision in control flow analysis |
HICSS
2012
IEEE
12 years 3 months ago
2012
IEEE
The advent of the smartphone as a highly complex technology has been accompanied by mobile operating systems (OS), large communities of developers, diverse content providers, and ...
TCAD
1998
13 years 7 months ago
1998
—This paper addresses, from a probabilistic point of view, the issue of switching activity estimation in combinational circuits under the zero-delay model. As the main theoretica...
AUTOMATICA
2004
13 years 7 months ago
2004
A fundamental problem in the simulation and control of complex physical systems containing distributed-parameter components concerns finite-dimensional approximation. Numerical me...
HASE
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
GEOINFORMATICA
2008
13 years 7 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...