Sciweavers

4770 search results - page 68 / 954
» Flexible Type Analysis
Sort
View
153
Voted
TSMC
2008
137views more  TSMC 2008»
15 years 3 months ago
A Type-2 Self-Organizing Neural Fuzzy System and Its FPGA Implementation
This paper proposes a type-2 self-organizing neural fuzzy system (T2SONFS) and its hardware implementation. The antecedent parts in each T2SONFS fuzzy rule are interval type-2 fuzz...
Chia-Feng Juang, Yu-Wei Tsao
SAS
2005
Springer
114views Formal Methods» more  SAS 2005»
15 years 9 months ago
Type-Safe Optimisation of Plugin Architectures
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
Neal Glew, Jens Palsberg, Christian Grothoff
CONCUR
2006
Springer
15 years 7 months ago
Dynamic Access Control in a Concurrent Object Calculus
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
Avik Chaudhuri
137
Voted
BMCBI
2006
115views more  BMCBI 2006»
15 years 4 months ago
AgdbNet - antigen sequence database software for bacterial typing
Background: Bacterial typing schemes based on the sequences of genes encoding surface antigens require databases that provide a uniform, curated, and widely accepted nomenclature ...
Keith A. Jolley, Martin C. J. Maiden
TIC
1998
Springer
127views System Software» more  TIC 1998»
15 years 8 months ago
Stack-Based Typed Assembly Language
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
J. Gregory Morrisett, Karl Crary, Neal Glew, David...