| 1. |
- Nilsson, Peter, et al.
(författare)
-
Glitz : hardware accelerated image compositing using OpenGL
- 2004
-
Ingår i: USENIX association proceedings of the FREENIX track, 2004 USENIX annual technical conference. - Berkeley : USENIX - The Advanced Computing Systems Association. - 1931971226 ; , s. 29-40
-
Konferensbidrag (refereegranskat)abstract
- In recent years 2D graphics applications and window systems tend to use more demanding graphics features such as alpha blending, image transformations and anti-aliasing. These features contribute to the user interfaces by making it possible to add more visual effects as well as new usable functionalities. All together it makes the graphical interface a more hospitable, as well as efficient, environment for the user. Even with today's powerful computers these tasks constitute a heavy burden on the CPU. This is why many proprietary window systems have developed powerful 2D graphics engines to carry out these tasks by utilizing the acceleration capabilities in modem graphics hardware. We present Glitz, an open source implementation of such a graphics engine, a portable 2D graphics library that can be used to render hardware accelerated graphics. Glitz is layered on top of OpenGL and is designed to act as an additional backend for cairo, providing it with hardware accelerated output. Further-more, an effort has been made to investigate if the level of hardware acceleration provided by the X Window System can be improved by using Glitz to carry out its fundamental drawing operations.
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Compositional Verification of Middleware-Based Software Architecture Descriptions
- 2004
-
Ingår i: Proceedings of the 26th International Conference on Software Engineering (ICSE '04). - : IEEE Press. ; , s. 221-230
-
Konferensbidrag (refereegranskat)abstract
- In this paper we present a compositional reasoning to verify middleware-based software architecturedescriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.
|
|
| 5. |
- Kajko-Mattsson, Mira Miroslawa, et al.
(författare)
-
Data mining for validation in software engineering : An example
- 2004
-
Ingår i: International journal of software engineering and knowledge engineering. - 0218-1940. ; 14:4, s. 407-427
-
Tidskriftsartikel (refereegranskat)abstract
- Consider two independently done software engineering studies that used different approaches to cover some of the same subject area, such as software maintenance. Although done differently and for different purposes, to what extent can each study serve as a validation of the other? Within the scope of the subject area overlap, data mining can be applied to provide a quantitative assessment. This paper reports on the data mining that attempted to cross validate two independently done and published software engineering studies of software maintenance, one on a corrective maintenance maturity model, and the other on an objective classification of software maintenance activities. The data mining established that each of the two independently done studies effectively and very strongly validates the other.
|
|
| 6. |
- Kajko-Mattsson, Mira Miroslawa, et al.
(författare)
-
Problems within front-end support
- 2004
-
Ingår i: Journal of Software Maintenance and Evolution. - : Wiley. - 1532-060X .- 1532-0618. ; 16:04-5, s. 309-329
-
Tidskriftsartikel (refereegranskat)abstract
- Within corrective maintenance, the front-end support mainly assists the customer- and back-end maintenance organizations in the communication of corrective maintenance demands. This implies receiving problem reports from customers, transferring them on to the back-end maintenance organization/vendor, and delivering problem solutions from the back-end maintenance organization/vendor to the customers. In this paper, we identify problems as experienced within 37 front-end support organizations in Sweden. Our results show a great variety of problems within the organizations studied. The dominating problems are the complexity of applications, customer knowledge, and complexity of support organizations.
|
|
| 7. |
- Kuzniarz, Ludwik, et al.
(författare)
-
Generating Domain Models from Ontologies.
- 2002
-
Ingår i: International Conference on Object-Oriented Information Systems, LNCS, Springer. - Montpellier, France : SPRINGER-VERLAG BERLIN.
-
Konferensbidrag (refereegranskat)abstract
- The paper presents and elaborates on the idea of automatic acquisition of knowledge about domain structure from ontologies into an object-oriented software development process. The information required to be included in the domain model produced during the development process is identified. The existence of the knowledge in ontologies is investigated. Requirements for ontology description languages are formulated followed by brief evaluation of existing languages against these requirements. A schema for domain knowledge acquisition is outlined. A realization of the schema is sketched in the paper while the implementation details can be found in the technical report.
|
|
| 8. |
- Stafford, Judith A., et al.
(författare)
-
The Application of Dependence Analysis to Software Architecture Descriptions
- 2003
-
Ingår i: Formal Methods for Software Architectures. - Berlin, Heidelberg : Springer. - 9783540200833 ; , s. 52-62
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- As the focus of software design shifts increasingly toward the architectural level, so too are its analysis techniques. Dependence analysis is one such technique that shows promise at this level. In this paper we briefly describe and illustrate the application of dependence analysis to architectural descriptions of software systems.
|
|
| 9. |
|
|
| 10. |
- Aidemark, Joakim, 1965, et al.
(författare)
-
Experimental Dependability Evaluation of the Artk68-FT Real-time Kernel
- 2004
-
Ingår i: Proc. of the International Conference on Real-Time and Embedded Computer Systems and Applications. ; , s. 625-645
-
Konferensbidrag (refereegranskat)abstract
- This paper presents an experimental dependability evaluation of a small real-time kernel called Artk68-FT intended for distributed fault-tolerant real-time systems. A main goal of this research is to improve the dependabilityof such systems by using a two-level approach for tolerating transient faults. By providing mechanisms in the kernel for tolerating transient faults at the node level, the overall reliability is improved since the recovery time is much shorter at the node level than at the system level. Permanent faults and transient faults that cannot be handled at the node level have to be handled at the system level. The experimental evaluation was performed using fault injection experiments on the MC68340 microcontroller executing the kernel and three application tasks. The experimental results show that no wrong results were produced when faults were injected during execution of a critical task protected by Artk68-FT. Moreover, no application crashes were observed in the fault injection experiments with Artk68-FT compared to experiments with a version of the kernel without fault handling mechanisms.
|
|
