Sciweavers

4722 search results - page 432 / 945
» Representation-independent program analysis
Sort
View
NOMS
2008
IEEE
16 years 1 months ago
A novel approach to bottleneck analysis in networks
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
Nikhil Shetty, Assane Gueye, Jean C. Walrand
AINA
2006
IEEE
16 years 25 days ago
Accelerating the HMMER Sequence Analysis Suite Using Conventional Processors
Due to the ever-increasing size of sequence databases it has become clear that faster techniques must be employed to effectively perform biological sequence analysis in a reasonab...
John Paul Walters, Bashar Qudah, Vipin Chaudhary
279
Voted
SP
2006
IEEE
177views Security Privacy» more  SP 2006»
16 years 23 days ago
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, C...
ADBIS
2006
Springer
100views Database» more  ADBIS 2006»
16 years 23 days ago
Novel Analysis Patterns in the Context of the Managed Investments Instruments
Abstract. Traditionally, the investment funds market exploits analysis and design concepts based on the procedural programming approach. We propose a set of analysis patterns which...
Luigi Ubezio, Claudia Raibulet, Antonio Carpinato
LPAR
2000
Springer
15 years 10 months ago
Efficient Structural Information Analysis for Real CLP Languages
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
Roberto Bagnara, Patricia M. Hill, Enea Zaffanella