Sciweavers

1112 search results - page 178 / 223
» Implementation aspects of a delegation system
Sort
View
PLDI
2010
ACM
14 years 4 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
ICCS
2001
Springer
14 years 3 months ago
Inclusion-Based Approximate Reasoning
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
Chris Cornelis, Etienne E. Kerre
WWW
2004
ACM
14 years 11 months ago
Cooperative middleware specialization for service oriented architectures
Service-oriented architectures (SOA) will provide the basis of the next generation of distributed software systems, and have already gained enormous traction in the industry throu...
Nirmal Mukhi, Ravi B. Konuru, Francisco Curbera
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
14 years 11 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
SIGMOD
2004
ACM
150views Database» more  SIGMOD 2004»
14 years 11 months ago
Integrating Vertical and Horizontal Partitioning Into Automated Physical Database Design
In addition to indexes and materialized views, horizontal and vertical partitioning are important aspects of physical design in a relational database system that significantly imp...
Sanjay Agrawal, Vivek R. Narasayya, Beverly Yang