2410 search results - page 205 / 482 » Multiset Ordering Constraints |
164
click to vote
ESOP
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
166
click to vote
ISCAS
2006
IEEE
16 years 12 days ago
2006
IEEE
— Symmetric-key block ciphers are often used to provide data confidentiality with low complexity, especially in the case of dedicated hardware implementations. IDEA NXT is a nov...
162
click to vote
HICSS
2005
IEEE
16 years 14 hour ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
153
click to vote
ICMCS
2005
IEEE
16 years 5 hour ago
2005
IEEE
Video transcoding is a mechanism to convert video bitstreams from one coding format to other formats. In this operation, the computational complexity and picture quality are the t...
141
click to vote
ICRA
2005
IEEE
16 years 3 hour ago
2005
IEEE
— In this paper, we discuss the manipulation of an object under hybrid active/passive closure. We show the orthogonality between the directions of active and passive force closur...