1535 search results - page 147 / 307 » Lazy Shape Analysis |
BIOTECHNO
2008
IEEE
14 years 2 months ago
2008
IEEE
— The way evolution shapes the arrangement of synonymous codons within open reading frames (ORF) for fine tuning mRNA decoding efficiency is not yet understood. Since the ribosom...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— A new three degrees of freedom translational parallel manipulator (TPM) with fixed actuators, called a general 3-PRC TPM, is proposed in this paper. The mobility of the manipu...
IBPRIA
2005
Springer
14 years 1 months ago
2005
Springer
Computer Vision can provide a great deal of assistance to Intelligent Vehicles. In this paper an Advanced Driver Assistance Systems for Vehicle Detection is presented. A geometric ...