To date, only one research study has evaluated how scooters respond to static and dynamic stability. However, no other studies have evaluated how scooters respond to adverse conditions and how they perform in all standard tests. A selection of 12 three-wheeled scooters was tested according to American National Standards Institute/Rehabilitation Engineering and Assistive Technology Society of No...

W l f h f l ifi i f ANSI C i e present a too or t e orma ver cat on o programs us ng Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C language features, including pointer constructs, d i ll ti i d th fl t d d bl d t t ynam c memory a oca on, recurs on, an e oa an ou e a a ypes. From the perspective of the user, the verification is highly automated:...

1 cc is a retargetable, production compiler for ANSI C; it has been ported to the VAX, Motorola 68020, SPARC, and MIPS R3000, and some versions have been in use for over a year and a half. It is smaller and faster than generally available alternatives, and its local code is comparable. This paper describes the interface between the target-independent front end and the targetdependent back ends....

We report on work in progress upon the verification of contextaware applications written in C-based languages. We recognize that context-aware programs are generally either middleware-based and multithreaded, or driven by asynchronous events, and focus on identifying the program points in which the contextual updates impact the application behaviour. Inheriting from related work on the validati...

Source code transformations are a very effective method of parallelizing and improving the efficiency of programs. Unfortunately most compiler systems require implementing separate (sub-)programs for each transformation. This paper describes a different approach. We designed and implemented a fully programmable C code transformation engine. It can be programmed by means of a transformation lang...

Osrednje vprašanje, s katerim se soočimo ob branju romana Zenova zavest (1923) italijanskega pisatelja Itala Sveva (s pravim imenom Ettore Schmitz) (1861–1928), je vprašanje (ne)zanesljivosti glavnega pripovedovalca Zena Cosinija. Predstavili bomo nekatera naratološka teoretska izhodišča, ki obravnavajo pojem (ne)zanesljivosti, kot tudi v ožjem smislu, ko to teorijo apliciramo na Svevov roman. ...

The purpose of this paper is to compare two different automatic code generating software tools and the suitability of each for the development of safety-critical real-time software systems. The tools used are Rhapsody and SCADE for Avionics. Rhapsody will generate software under ANSI C++ standards and guidelines, while SCADE for Avionics will produce DO-178B certifiable ANSI C++ software. A sim...

The aim of this study was to investigate pre-service physical education teachers’ self-assessment of their competent levels in achieving the national standards for beginning physical education teachers (National Association for Sport and Physical Education (NASPE), 1995). One hundred seventy–three pre-service teachers in 10 physical education teacher education programs completed the Achieving t...