Sciweavers

107 search results - page 1 / 22
» Demonstration of an Automated Control Synthesis Tool for Man...
Sort
View
CORR
2007
Springer
133views Education» more  CORR 2007»
13 years 4 months ago
Virtual Manufacturing : Tools for improving Design and Production
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
Philippe Dépincé, Damien Chablat, Pe...
ACSC
2006
IEEE
13 years 11 months ago
Manufacturing opaque predicates in distributed systems for code obfuscation
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
Anirban Majumdar, Clark D. Thomborson
ISCAS
2007
IEEE
133views Hardware» more  ISCAS 2007»
13 years 11 months ago
GAPSYS: A GA-based Tool for Automated Passive Analog Circuit Synthesis
— This paper presents GAPSYS - a genetic algorithm based automated circuit synthesis tool for passive analog circuits. It describes the procedure for developing both the circuit ...
Angan Das, Ranga Vemuri
DEDS
2007
111views more  DEDS 2007»
13 years 4 months ago
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
Hugo Flordal, Robi Malik, Martin Fabian, Knut &Ari...