Sciweavers

2779 search results - page 188 / 556
» Modelling Immunological Memory
Sort
View
COLING
2000
15 years 7 months ago
Learning Word Clusters from Data Types
The paper illustrates a linguistic knowledge acquisition model making use of data types, innite memory, and an inferential mechanism for inducing new information from known data. ...
Paolo Allegrini, Simonetta Montemagni, Vito Pirrel...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 19 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
ICPPW
2006
IEEE
16 years 17 days ago
Performance Analysis of a Parallel Discrete Model for the Simulation of Laser Dynamics
This paper presents an analysis on the performance of a parallel implementation of a discrete model of laser dynamics, which is based on cellular automata. The performance of a 2D...
Jose Luis Guisado, Francisco Fernández de V...
DSN
2002
IEEE
15 years 11 months ago
Modeling the Effect of Technology Trends on the Soft Error Rate of Combinational Logic
This paper examines the effect of technology scaling and microarchitectural trends on the rate of soft errors in CMOS memory and logic circuits. We describe and validate an end-to...
Premkishore Shivakumar, Michael Kistler, Stephen W...
ISHPC
1999
Springer
15 years 10 months ago
Instruction-Level Microprocessor Modeling of Scientific Applications
Superscalar microprocessor efficiency is generally not as high as anticipated. In fact, sustained utilization below thirty percent of peak is not uncommon, even for fully optimized...
Kirk W. Cameron, Yong Luo, James Scharzmeier