5863 search results - page 1118 / 1173 » On Model-Checking of P Systems |
169
Voted
CC
2008
Springer
15 years 5 months ago
2008
Springer
The polyhedral model provides powerful abstractions to optimize loop nests with regular accesses. Affine transformations in this model capture a complex sequence of execution-reord...
128
Voted
CSC
2008
15 years 5 months ago
2008
Many applications of Mathematical Physics and Engineering are connected with the Laplacian, however, the most part of BVP relevant to the Laplacian are solved in explicit form onl...
126
click to vote
BIOCOMP
2006
15 years 5 months ago
2006
Health Care Management is one of the most important and most important research areas of the new millennium. The main purpose of this work was to analyze the data on malaria patie...
114
Voted
WSC
1998
15 years 5 months ago
1998
Customer interfacing is the process through which one works with and relates to their customer. Often in the technical world, modelers find it easier to interface with computers r...
147
Voted
NIPS
1996
15 years 5 months ago
1996
Predictions oflifetimesofdynamicallyallocated objects can be used to improve time and space e ciency of dynamic memory management in computer programs. Barrett and Zorn 1993] used...