1. |
- Pettersson, Rune
(författare)
-
Circles, Triangles and Squares : Sacred Symbols in the Mayan Culture
- 1998
-
Ingår i: Journal of Visual Literacy. - : Taylor and Francis Ltd.. - 1051-144X .- 2379-6529. ; 18:2, s. 137-148
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- The circle and the triangle, as well as the square, are shapes that have b a very long time. There have always been circles and triangles in ou they have a the use of circles, triangles, and squares as sacred symbols in the old Mayan civilization. The paper also presents one of the oldest forms of mediated communication through moving images, the "moving picture" in Chichin Ilzd, Mexico.
|
|
2. |
- Björnfot, Lars, et al.
(författare)
-
Termination of Ada Tasks in Hardware
- 1995
-
Ingår i: Proc. TRI-Ada'95. - New York, New York, USA : ACM Press. - 0897917057 ; , s. 474-486
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
3. |
- Lundqvist, Kristina, et al.
(författare)
-
A Formal Model of a Run-Time Kernel for Ravenscar
- 1999
-
Ingår i: Proc. 6th International Conference on Real-Time Computing Systems and Applications - RTCSA'99. - Hong-Kong. - 0769503063 ; , s. 504-507
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The Ravenscar tasking profile for Ada 95 has been designed to allow implementation of highly safety critical systems in Ada. Ravenscar defines a tasking run-time system with deterministic behaviour and low complexity. We provide a formal model of the primitives provided by Ravenscar including exceptions. This formal model can be used to verify safety properties of applications targeting a Ravenscar-compliant run-time system. As an illustration of this, we model a sample application using all features of Ravenscar and formally verify its correctness using the real-time model checker UPPAAL
|
|
4. |
- Lundqvist, Kristina, et al.
(författare)
-
A Formal Model of the Ada Ravenscar Tasking Profile; Delay Until
- 1999
-
Ingår i: Proc. ACM SIGAda Annual International Conference'99. - New York, NY, USA : ACM. - 1581131275 ; , s. 15-21
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The definition of the Ravenscar Tasking Profile for Ada 95 provides a definition of a tasking runtime system with deterministic behaviour and low enough complexity to permit a formal description and verification of the model. A complete run-time system is being modeled using the real-time model checker UPPAAL, and this work describes the handling of delay until. Since scheduling is not yet modelled a simple non-preemptive scheduler has been used when verifying the delay queue.
|
|
5. |
|
|
6. |
- Lundqvist, Kristina, et al.
(författare)
-
A Rendezvous with Linda
- 1996
-
Ingår i: Proc. Washington Ada Symposium'96.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)
|
|
7. |
|
|
8. |
- Michell, Stephen, et al.
(författare)
-
Extendable Dispatchable Task Communication Mechanisms
- 1999
-
Ingår i: IRTAW '99 Proceedings of the ninth international workshop on Real-time AdaPages 54-59. - : Association for Computing Machinery (ACM). - 1581131771 ; , s. 54-59
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- The addition of object-oriented features to Ada has left a disconnection between the object-oriented paradigm and the intertask communication and synchronisation paradigms. The lack of extensibility of tasks and protected types as well as the task synchronisation inheritance anomaly has made design of systems that use them with object oriented features more difficult. This paper proposes Ada language changes that would make protected types and tasks partners in object oriented programming and would cure the inheritance anomaly.
|
|