2779 search results - page 380 / 556 » Modelling Immunological Memory |
130
Voted
AMAST
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
126
Voted
ESTIMEDIA
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a structured application design trajectory to transform media-processing applications— modeled as Kahn process network—into a set of functionspecific hardw...
135
Voted
LATIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
123
click to vote
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
This paper investigates the Signal-to-Noise Ratio (SNR) performance of the Logarithmic Number System (LNS) representation against the SNR performance of the fixed-point representa...
118
click to vote
SAT
2004
Springer
15 years 9 months ago
2004
Springer
The Walksat local search algorithm has previously been extended to handle quantification over variables. This greatly reduces model sizes, but in order to guide greedy moves the a...