12981 search results - page 2484 / 2597 » Model Checking and Abstraction |
117
click to vote
JUCS
2002
15 years 1 months ago
2002
: ATM virtual path (VP) contains bundles of virtual channels (VCs). A VP layer network can be used as a server layer network of VC layer networks and each VC layer network can be a...
121
click to vote
TNN
1998
15 years 1 months ago
1998
Abstract—It is well known that for finite-sized networks, onestep retrieval in the autoassociative Willshaw net is a suboptimal way to extract the information stored in the syna...
106
click to vote
PPL
2007
15 years 29 days ago
2007
ract problem of using P failure-prone processors to cooperatively update all locations of an N-element shared array is called Write-All. Solutions to Write-All can be used iterati...
127
click to vote
DAGM
2010
Springer
15 years 1 days ago
2010
Springer
Abstract. Atrial fibrillation is the most common sustained arrhythmia. One important treatment option is radio-frequency catheter ablation (RFCA) of the pulmonary veins attached t...
CORR
2008
Springer
15 years 1 days ago
2008
Springer
Abstract--A traditional assumption underlying most data converters is that the signal should be sampled at a rate exceeding twice the highest frequency. This statement is based on ...