Sciweavers

1502 search results - page 79 / 301
» Computational Realizations of Living Systems
Sort
View
118
Voted
ICRA
2006
IEEE
131views Robotics» more  ICRA 2006»
15 years 10 months ago
CMOS+FPGA Vision System for Visual Feedback of Mechanical Systems
— This paper describes a 1,000Hz visual feedback using the CMOS+FPGA vision. It is required to obtain positional and angular signals around 1,000Hz to control a mechanical system...
Kazuhiro Shimizu, Shinichi Hirai
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 9 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
CATA
2003
15 years 5 months ago
A Task Migration Scheme for High Performance Real-Time Cluster System
In a real-time system, it is attractive to use cluster computing system for realizing high performance and high availability. The objectives of the real-time clusters are maximize...
Makoto Suzuki, Hidenori Kobayashi, Nobuyuki Yamasa...
137
Voted
RTCSA
2005
IEEE
15 years 10 months ago
An On-Chip Garbage Collection Coprocessor for Embedded Real-Time Systems
Garbage collection considerably increases programmer productivity and software quality. However, it is difficult to implement garbage collection both efficiently and suitably fo...
Matthias Meyer
DNA
2011
Springer
233views Bioinformatics» more  DNA 2011»
14 years 4 months ago
Less Haste, Less Waste: On Recycling and Its Limits in Strand Displacement Systems
We study the potential for molecule recycling in chemical reaction systems and their DNA strand displacement realizations. Recycling happens when a product of one reaction is a rea...
Anne Condon, Alan J. Hu, Ján Manuch, Chris ...