12333 search results - page 243 / 2467 » System Level Modelling for Hardware Software Systems |
208
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
225
click to vote
PPOPP
2011
ACM
14 years 9 months ago
2011
ACM
Performance modeling for scientific applications is important for assessing potential application performance and systems procurement in high-performance computing (HPC). Recent ...
159
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
Mapping between genotype and phenotype using a model of biological development has been widely touted as a technique for evolving solutions to large, complex problems [1-3]. Here ...
162
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
187
click to vote
WOA
2001
15 years 8 months ago
2001
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...