Sciweavers

4987 search results - page 405 / 998
» Fuzzifying P Systems
Sort
View
JTRES
2010
ACM
15 years 7 months ago
Cyclic executive for safety-critical Java on chip-multiprocessors
Chip-multiprocessors offer increased processing power at a low cost. However, in order to use them for real-time systems, tasks have to be scheduled efficiently and predictably. I...
Anders P. Ravn, Martin Schoeberl
APIN
2008
124views more  APIN 2008»
15 years 7 months ago
Kernel price pattern trading
Abstract A new approach to algorithmic trading system development is presented. This approach, Kernel Price Pattern Trading (KPPTP ), allows the practitioner to link the performanc...
Alejandro Cañete, Jorge Constanzo, Luis Sal...
IJFCS
2008
81views more  IJFCS 2008»
15 years 6 months ago
Reachability Analysis in Verification via Supercompilation
Abstract. We present an approach to verification of parameterized systems, which is based on program transformation technique known as supercompilation. In this approach the statem...
Alexei Lisitsa, Andrei P. Nemytykh
CDC
2008
IEEE
16 years 1 months ago
Equivalence between Approximate Dynamic Inversion and Proportional-Integral control
—Approximate Dynamic Inversion (ADI) has been established as a method to control minimum-phase, nonaffine-incontrol systems. Previous results have shown that for single-input no...
Justin Teo, Jonathan P. How
EUROMICRO
2000
IEEE
15 years 11 months ago
Behavior-Preserving Transformations for Design-for-Test
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
Jeroen Voeten, Harald P. E. Vranken