6960 search results - page 404 / 1392 » Continuity Analysis of Programs |
133
Voted
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents how state consistency among distributed control nodes is maintained in the presence of faults. We analyze a fault tolerant semi-synchronous architecture concep...
133
click to vote
CASSIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
122
click to vote
IWINAC
2005
Springer
15 years 10 months ago
2005
Springer
spike separation is a basic prerequisite for analyzing of the cooperative neural behavior and neural code when registering extracelluIarly. Final performance of any spike sorting m...
146
click to vote
BIOADIT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The responses of flexible bionetworks to extreme environmental changes were studied in several microorganisms. Gene and metabolic networks markedly changed with osmotic ...
183
Voted
ALT
1999
Springer
15 years 9 months ago
1999
Springer
We are concerned with the problem of sequential prediction using a givenhypothesis class of continuously-manyprediction strategies. An e ectiveperformance measure is the minimax re...