The supergiant fast X-ray transient (SFXT) system IGR J17544–2619 has displayed many large outbursts in the past and is considered an archetypal example of SFXTs. A search of the INTEGRAL/ISGRI data archive from MJD 52698–54354 has revealed 11 outbursts and timing analysis of the light curve identifies a period of 4.926±0.001 days which we interpret as the orbital period of the system. We find ...

Covert network timing channels control time between transmissions of packets in overt network communication and transmits hidden messages. This paper presents an overview of different concepts of covert timing channels such as types, features and properties. There is range of terms used for security of information such as encryption, covert channels, network steganography or information hiding ...

We extend our technique for determining exact time separation of events in systems with just concurrency to a restricted but still useful class of systems with both choice and concurrency. Such a system is described using a CSP program (including Martin's probe operator) with the restrictions that the communication behavior is data-independent, that there is no OR-causality, and that guard sele...

A general-purpose firmware for a low cost microcontroller is described that employs the Open Sound Control protocol over USB. The firmware is designed with considerations for integration in new musical interfaces and embedded devices. Features of note include stateless design, efficient floating-point support, temporally correct data handling, and protocol completeness. A timing performance ana...

The rods and cones of a human retina are constantly sensing and transmitting the light in the form of spikes to the cortex of the brain in order to reproduce an image in the brain. Delbruck’s lab has designed and manufactured several generations of spike based image sensors that mimic the human retina. In this paper we present an exhaustive timing analysis of the Address-EventRepresentation (AE...

Escherichia coli O157:H7, predominantly originated from beef, is a significant pathogen to the public health and thus, needs to be vigorously surveyed in meat samples. Three (6%) of 50 ground beef samples were found to be contaminated with E. coli O157:H7, but it was not detected any of 50 chicken drumsticks. This contamination rate of ground beef samples indicated that unhygienic practices pre...

Static timing analyzers need to know the number of iterations associated with each loop in a real-time program so accurate timing predictions can be obtained. The number of iterations of non-rectangular loops vary due to dependencies on counter variables of outer loops. These loops have long presented a problem for timing analyzers since the resulting timing predictions are typically quite loos...

Computer hard drives often contain evidence that is vital to digital forensic investigations. However, an authenticated working copy or “forensic image” of a suspect hard drive must be created before any data can be analyzed. As the capacities of modern hard drives increase, the time taken to create a forensic image, let alone analyze the data, increases significantly. This paper investigates t...

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

From MetroII to Metronomy, Designing Contract-based Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems