783 search results - page 56 / 157 » The Bio-PEPA Tool Suite |
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
Modern Application Specific Instruction Set Processors (ASIPs) have customizable caches, where the size, associativity and line size can all be customized to suit a particular ap...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
ICST
2009
IEEE
13 years 5 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
ICSE
2003
IEEE-ACM
2003
IEEE-ACM
An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company
14 years 8 months ago
Numerous studies have been conducted on design and architecture of knowledge repositories. This paper addresses the need for looking at practices where knowledge repositories are ...
ICST
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...