5863 search results - page 1077 / 1173 » On Model-Checking of P Systems |
121
click to vote
SIAMADS
2010
14 years 10 months ago
2010
We present a weakly nonlinear analysis of our recently developed model for the formation of crime patterns. Using a perturbative approach, we find amplitude equations that govern t...
118
click to vote
TASLP
2010
14 years 10 months ago
2010
This paper examines the performance of several source separation systems on a speech separation task for which human intelligibility has previously been measured. For anechoic mixt...
128
click to vote
VIROLOGY
2010
14 years 10 months ago
2010
Abstract. There is nowadays a wide range of TCP/IP stack identification tools that allow to easily recognize the operating system of foreseen targets. The object of this article is...
165
click to vote
ALGORITHMICA
2011
14 years 7 months ago
2011
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dual-objective scheduling problems, where the operati...
157
click to vote
CCGRID
2011
IEEE
14 years 7 months ago
2011
IEEE
Many large-scale distributed computing applications demand real-time responses by soft deadlines. To enable such real-time task distribution and execution on the volunteer resourc...