1898 search results - page 69 / 380 » Weak Keys for IDEA |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
KES
2005
Springer
14 years 2 months ago
2005
Springer
The ubiquity of chance discovery can be seen in many areas of application, fundamentally when there are events that are difficult to find or predict. In this paper, we present our...
MDAFA
2004
Springer
14 years 2 months ago
2004
Springer
The paper describes a new graphical model transformation language MOLA. The basic idea of MOLA is to merge traditional structured programming as a control structure with pattern-ba...
VMCAI
2004
Springer
14 years 2 months ago
2004
Springer
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
DEXA
1999
Springer
14 years 1 months ago
1999
Springer
In this paper, a new indexing technique to support the query evaluation in document databases is proposed. The key idea of the method is the combination of the technique of pat-tre...