Sciweavers

5387 search results - page 551 / 1078
» Generating generic functions
Sort
View
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
16 years 13 days ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
ECRTS
2003
IEEE
16 years 11 days ago
Time-Aware Utility-Based QoS Optimisation
This paper presents a time-aware admission control and resource allocation scheme in the context of a future generation mobile network. The quality levels (and their respective ut...
Calin Curescu, Simin Nadjm-Tehrani
ITCC
2003
IEEE
16 years 11 days ago
Stochastic Image Compression Using Fractals
Fractal objects like Sierpinski triangle and Fern have very high visual complexity and low storage-information content. For generating computer graphic images and compression of s...
Aditya Kapoor, Kush Arora, Ajai Jain, G. P. Kapoor
CCS
2003
ACM
16 years 9 days ago
Formal access control analysis in the software development process
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
Manuel Koch, Francesco Parisi-Presicce
DATE
2010
IEEE
134views Hardware» more  DATE 2010»
16 years 5 days ago
Layout-aware pseudo-functional testing for critical paths considering power supply noise effects
When testing delay faults on critical paths, conventional structural test patterns may be applied in functionally-unreachable states, leading to over-testing or under-testing of t...
Xiao Liu, Yubin Zhang, Feng Yuan, Qiang Xu