Sciweavers

2796 search results - page 107 / 560
» A time structure based software reliability model
Sort
View
CODES
2009
IEEE
14 years 1 months ago
Native MPSoC co-simulation environment for software performance estimation
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
Patrice Gerin, Mian Muhammad Hamayun, Fréd&...
ATVA
2005
Springer
202views Hardware» more  ATVA 2005»
14 years 2 months ago
Model Checking Real Time Java Using Java PathFinder
Abstract. The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real t...
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
VMCAI
2010
Springer
14 years 6 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
ISPW
2006
IEEE
14 years 3 months ago
On Mobility of Software Processes
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang
CAISE
1999
Springer
14 years 1 months ago
A Multi-variant Approach to Software Process Modelling
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
Wolfgang Hesse, Jörg Noack