5227 search results - page 826 / 1046 » Enterprise modeling using class and instance models |
175
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
154
click to vote
MCS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The computational genome-wide annotation of gene functions requires the prediction of hierarchically structured functional classes and can be formalized as a multiclass, ...
144
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider the control of impulsive systems with jumps triggered by a renewal process, that is, the intervals between jumps are independent and identically distributed. The co...
138
click to vote
ISCA
2000
IEEE
15 years 10 months ago
2000
IEEE
Spatial-lattice computations with finite-range interactions are an important class of easily parallelized computations. This class includes many simple and direct algorithms for ...
150
click to vote
HIPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The NPAC kernel runtime, developed in the PCRC Parallel Compiler Runtime Consortium project, is a runtime library with special support for the High Performance Fortran data model....