Sciweavers

4401 search results - page 578 / 881
» Computing with Default Logic
Sort
View
ICCS
2004
Springer
16 years 2 days ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
DFT
2003
IEEE
154views VLSI» more  DFT 2003»
16 years 8 hour ago
Fault Recovery Based on Checkpointing for Hard Real-Time Embedded Systems
Safety-critical embedded systems often operate in harsh environmental conditions that necessitate fault-tolerant computing techniques. Many safety-critical systems also execute re...
Ying Zhang, Krishnendu Chakrabarty
ISQED
2003
IEEE
102views Hardware» more  ISQED 2003»
15 years 12 months ago
Modeling Crosstalk Induced Delay
The amplitude of coupled noise is often used in estimating the crosstalk effect. Coupling noise-induced delay measures the impact of crosstalk on circuit performance. Efficient c...
Chung-Kuan Tsai, Malgorzata Marek-Sadowska
GI
2003
Springer
15 years 12 months ago
Policy Based Management for Critical Infrastructure Protection
: Our current societies are fully dependent on large complex critical infrastructures (LCCIs). These LCCIs are large scale distributed systems that are highly interdependent, both ...
Gwendal Le Grand, Franck Springinsfeld, Michel Rig...
IFSA
2003
Springer
179views Fuzzy Logic» more  IFSA 2003»
15 years 12 months ago
A CHC Evolutionary Algorithm for 3D Image Registration
Image registration has been a very active research area in the computer vision community. In the last few years, there is an increasing interest on the application of Evolutionary ...
Oscar Cordón, Sergio Damas, Jose Santamar&i...