1422 search results - page 57 / 285 » Complementation in Abstract Interpretation |
141
click to vote
EPIA
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. A new algorithm for finding the minimal solutions of systems of linear Diophantine equations has recently been published. In its description the emphasis was put on the ...
136
click to vote
HPCN
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. In this paper we discuss the concept of space-time diagrams as a representation of the execution of an application, and then give a method, based on critical path analysi...
132
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Free/Open Source Software (FOSS) development is not the same an Software Engineering (SE). Why this is so is unclear and open to various interpretations. Both address the challeng...
159
click to vote
SACRYPT
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper we analyse the security of the SHA-3 candidate ARIRANG. We show that bitwise complementation of whole registers turns out to be very useful for constructing...
105
click to vote
COSIT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...