GoDetector: Detecting Concurrent Bug in Go

Go provides a new concurrency mechanism based on message-passing, which brings a series of new concurrency bugs.The existing tools are highly dependent on model-checking methods in Digital Downloads which they take the source program as the input of model-checking tools to detect the potential concurrent bugs.However, these methods can only qualita

read more



Negative Correlation Between Functional Connectivity and Small-Worldness in the Alpha Frequency Band of a Healthy Brain

The aim of the study was to analyze the relationship between resting state electroencephalographic (EEG) alpha functional connectivity (FC) and small-world organization.For that purpose, Pearson correlation was calculated between FC and small-worldness (SW).Three Tension Knob undirected FC measures were used: magnitude-squared coherence (MSC), imag

read more