2779 search results - page 380 / 556 » Modelling Immunological Memory |
177
click to vote
AMAST
2004
Springer
16 years 11 days 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...
182
click to vote
ESTIMEDIA
2004
Springer
16 years 10 days 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...
174
Voted
LATIN
2004
Springer
16 years 9 days 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: ...
177
Voted
PATMOS
2004
Springer
16 years 9 days 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...
155
click to vote
SAT
2004
Springer
16 years 9 days 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...