Sciweavers

345 search results - page 18 / 69
» A process logic for distributed system synthesis
Sort
View
EUROGP
2009
Springer
105views Optimization» more  EUROGP 2009»
15 years 4 months ago
Quantum Circuit Synthesis with Adaptive Parameters Control
The contribution presented herein proposes an adaptive genetic algorithm applied to quantum logic circuit synthesis that, dynamically adjusts its control parameters. The adaptation...
Cristian Ruican, Mihai Udrescu, Lucian Prodan, Mir...
CGF
2008
105views more  CGF 2008»
14 years 11 months ago
Curvature-Domain Shape Processing
We propose a framework for 3D geometry processing that provides direct access to surface curvature to facilitate advanced shape editing, filtering, and synthesis algorithms. The c...
Michael Eigensatz, Robert W. Sumner, Mark Pauly
ENTCS
2006
100views more  ENTCS 2006»
14 years 11 months ago
Towards a Logic for Performance and Mobility
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Joost-Pieter Katoen, Diego Latell...
ASC
2007
15 years 10 months ago
A BDI Agent System for Credit Risk Assessment based on Fuzzy Logic
Credit risk has always been an important issue for banks and other financial intermediaries. A reliable and consistent computing system is necessary to simplify the decision mak...
S. Bonura, V. Morreale, G. Cammarata, F. Cantore,...
SAM
2004
98views Hardware» more  SAM 2004»
15 years 1 months ago
Scenario Synthesis from Imprecise Requirements
Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle compo...
Bill Mitchell, Robert Thomson, Paul Bristow