734 search results - page 134 / 147 » Scheduling with Global Information in Distributed Systems |
CAV
2000
Springer
14 years 1 days ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
BIOCOMP
2008
13 years 9 months ago
2008
Computational analyses of protein structure-function relationships have traditionally been based on sequence homology, fold family analysis and 3D motifs/templates. Previous struct...
ISLPED
2003
ACM
14 years 29 days ago
2003
ACM
Distributed wireless ad-hoc networks (DWANs) pose numerous technical challenges. Among them, two are widely considered as crucial: autonomous localized operation and minimization ...
FPGA
1997
ACM
13 years 12 months ago
1997
ACM
Configurable Computing Machines (CCMs) are an emerging class of computing platform which provide the computational performance benefits of ASICs, yet retain the flexibility and ra...
AINA
2010
IEEE
13 years 11 months ago
2010
IEEE
—Mnesic evocation occurs under the action of a stimulus. A successful evocation is observed as the overrun of a certain threshold of the neuronal activity followed by a medical i...