4211 search results - page 347 / 843 » Types as Abstract Interpretations |
169
click to vote
TOMACS
2008
15 years 6 months ago
2008
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...
168
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
148
click to vote
BC
2000
15 years 6 months ago
2000
Abstract. A computational model of a dot-pattern selective neuron is proposed. This type of neuron is found in the inferotemporal cortex of monkeys. It responds strongly to groups ...
180
click to vote
TC
1998
15 years 6 months ago
1998
Abstract—A widely used bus-encryption microprocessor is vulnerable to a new practical attack. This type of processor decrypts onthe-fly while fetching code and data, which are st...
163
click to vote
TFS
2008
15 years 5 months ago
2008
Abstract--By connecting work from two different problems-the fuzzy weighted average (FWA) and the generalized centroid of an interval type-2 fuzzy set--a new -cut algorithm for sol...