1529 search results - page 178 / 306 » Energy-Based Models of P Systems |
122
click to vote
CC
2008
Springer
14 years 12 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...
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Query flooding is a problem existing in Peer-to-Peer networks like Gnutella. Firework Query Model solves this problem by Peer Clustering and routes the query message more intellig...
FOSSACS
2007
Springer
15 years 4 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Abstract-- Internet worms, which spread in computer networks without human mediation, pose a severe threat to computer systems today. The rate of propagation of worms has been meas...
BIOCOMP
2006
14 years 11 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...