Sciweavers

1342 search results - page 170 / 269
» MEMS Design And Verification
Sort
View
GECCO
2006
Springer
137views Optimization» more  GECCO 2006»
15 years 10 months ago
A unified optimization framework for microelectronics industry
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...
Yiming Li, Cheng-Kai Chen, Yen-Yu Cho
ATAL
2003
Springer
15 years 10 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
VL
1997
IEEE
151views Visual Languages» more  VL 1997»
15 years 9 months ago
A Structured Interactive Workspace for a Visual Configuration Language
This paper shows how language technologies such as the automatic generation of parsers for analyzing user actions and visual parsing can be applied to build a flexible tool specia...
Jean-Yves Vion-Dury, François Pacull
CC
2008
Springer
137views System Software» more  CC 2008»
15 years 8 months ago
On the Relative Completeness of Bytecode Analysis Versus Source Code Analysis
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
Francesco Logozzo, Manuel Fähndrich
EUSFLAT
2003
117views Fuzzy Logic» more  EUSFLAT 2003»
15 years 7 months ago
Genetic fuzzy controllers: from simulated based learning to a real application
This work shows a stand-alone photovoltaic system application based on fuzzy logic controllers and genetic fuzzy systems. A hierarchical fuzzy controller has been designed that at...
Joaquín Cañada Bago, Jorge Aguilera,...