5863 search results - page 783 / 1173 » On Model-Checking of P Systems |
158
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Analysis and simulations are performed for a simplified model of a commercially available variant on the skateboard, known as the Snakeboard1 . Although the model exhibits basic g...
183
click to vote
CASES
2008
ACM
15 years 8 months ago
2008
ACM
Embedded processor performance is dependent on both the underlying architecture and the compiler optimisations applied. However, designing both simultaneously is extremely difficu...
197
click to vote
CCGRID
2008
IEEE
15 years 8 months ago
2008
IEEE
Fault tolerance is one of the key issues for large scale applications executed on high performance computing systems. In a cluster federation, clusters are gathered to provide hug...
190
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
One of the main objectives in engineering departments of large industries is the implementation of integrated information systems to manage their projects' life cycle. EnViro...
175
Voted
FORTEST
2008
15 years 8 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...