Sciweavers

3844 search results - page 110 / 769
» Modular interpreted systems
Sort
View
IJCNN
2007
IEEE
15 years 9 months ago
Adaptive Dynamic Modularity in a Connectionist Model of Context-Dependent Idea Generation
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...
Simona Doboli, Ali A. Minai, Vincent R. Brown
RTA
2011
Springer
14 years 6 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
SIGSOFT
2000
ACM
15 years 7 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
Reimer Behrends, Kurt Stirewalt
FPGA
2010
ACM
191views FPGA» more  FPGA 2010»
15 years 9 months ago
Voter insertion algorithms for FPGA designs using triple modular redundancy
Triple Modular Redundancy (TMR) is a common reliability technique for mitigating single event upsets (SEUs) in FPGA designs operating in radiation environments. For FPGA systems t...
Jonathan M. Johnson, Michael J. Wirthlin
DATE
2006
IEEE
118views Hardware» more  DATE 2006»
15 years 9 months ago
Design and implementation of a modular and portable IEEE 754 compliant floating-point unit
Multimedia and communication algorithms from embedded system domain often make extensive use of floating-point arithmetic. Due to the complexity and expense of the floating-poin...
Kingshuk Karuri, Rainer Leupers, Gerd Ascheid, Hei...