394 search results - page 44 / 79 » An Abstract Domain of Uninterpreted Functions |
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— The increasing use of electronics in the automotive and avionic domain has lead to dramatic improvements with respect to functionality, safety, and cost. However, with ...
ISPEC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. The automotive industry has developed electronic immobilizers to reduce the number of car thefts since the mid nineties. However, there is not much information on the cur...
PAKDD
2005
ACM
14 years 1 months ago
2005
ACM
Abstract. It is estimated that 20% of genes in the human genome encode for integral membrane proteins (IMPs) and some estimates are much higher. IMPs control a broad range of event...
WWIC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we propose an approach to increase TCP’s fairness in multihop wireless networks, using ECN as a congestion signalling mechanism. The novel idea we introdu...
ASPDAC
2004
ACM
14 years 1 months ago
2004
ACM
Abstract— In this paper, we propose exact and heuristic algorithms for minimizing the memory size for heterogeneous Multivalued Decision Diagrams (MDDs). In a heterogeneous MDD, ...