4106 search results - page 510 / 822 » A Computational Model for Metric Spaces |
170
click to vote
SBACPAD
2006
IEEE
16 years 26 days ago
2006
IEEE
Performance evaluation of contemporary processors is becoming increasingly difficult due to the lack of proper frameworks. Traditionally, cycle-accurate simulators have been exte...
165
click to vote
ACSD
2003
IEEE
16 years 4 days ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
219
click to vote
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract-- Understanding the evolvability of simple differentiating multicellular systems is a fundamental problem in the biology of genetic regulatory networks and in computationa...
146
click to vote
JMM2
2006
15 years 6 months ago
2006
Recent electronic devices are connected with each other by various connectivity techniques. This trend makes computing resources distributed over many devices. However, since the g...
199
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
Passive monitoring utilizing distributed wireless sniffers is an effective technique to monitor activities in wireless infrastructure networks for fault diagnosis, resource manage...