Sciweavers

2307 search results - page 356 / 462
» Dynamic Fuzzy Logic
Sort
View
74
Voted
ASAP
2007
IEEE
130views Hardware» more  ASAP 2007»
15 years 7 months ago
A Self-Reconfigurable Implementation of the JPEG Encoder
Dynamic reconfiguration allows to selectively substitute blocks of logic at run-time in order to improve the area efficiency of a FPGA design. This paper presents the design of a ...
Antonino Tumeo, Matteo Monchiero, Gianluca Palermo...
126
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 3 months ago
The theory and calculus of aliasing
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obje...
Bertrand Meyer
136
Voted
CORR
2004
Springer
125views Education» more  CORR 2004»
15 years 3 months ago
High-Level Networking With Mobile Code And First Order AND-Continuations
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehen...
Paul Tarau, Verónica Dahl
144
Voted
CAV
2010
Springer
227views Hardware» more  CAV 2010»
15 years 1 months ago
Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems
We describe Breach, a Matlab toolbox providing a coherent set of simulation-based techniques aimed at the analysis of deterministic models of hybrid dynamical systems. The primary ...
Alexandre Donzé
139
Voted
SASO
2010
IEEE
15 years 1 months ago
Self-Adaptive Resource Allocation in Open Distributed Systems
In an open distributed system, computational resources are peer-owned, and distributed over time and space. The fact that these resources can dynamically join or leave the system (...
Xinghui Zhao, Nadeem Jamali