Let S be a scheme. In this paper, we define the notion of biextensions of 1-motives by 1-motives. Moreover, if M(S) denotes the Tannakian category generated by 1-motives over S (in a geometrical sense), we define geometrically the morphisms of M(S) from the tensor product of two 1-motives M1⊗M2 to another 1-motive M3, to be the isomorphism classes of biextensions of (M1, M2) by M3: HomM(S)(M1 ⊗...

Karşıdaki kişi veya kişileri yermek, aşağılamak alaya almak için nazmedilen hiciv şiirleri, insanoğlunun fıtratında var olan üstünlük mücadelesinden olsa gerek Arap şiirinin bütün dönemlerinde kendisine geniş bir yer bulmuştur. İlk dönemlerde klasik kasidenin ana temalarından biri iken zamanla müstakil tür haline gelen Endülüs önemli bölümünü oluşturmaktadır. Endülüs’te farklı din ve etnik unsu...

In this talk, we introduce TuBound, a tool to perform worst-case execution time (WCET) analysis. From the user’s perspective, TuBound is unique in that it operates on the source code level, which opens new possibilities for the usability and flexibility of the tool. In particular, TuBound supports high-level loop optimizations and the automatic analysis of loop bounds. The tool will be demonstr...

Timing analysis is an important prerequisite for the design of embedded real-time systems. In order to get tight and safe bounds for the timing of a program, precise information about its control flow and data flow is needed. While actual timings can only be derived from the machine code, many of the supporting analyses (deriving timing-relevant data such as points-to and loop bound information...