Sciweavers

2421 search results - page 248 / 485
» Consistency Management for Complex Applications
Sort
View
ICES
2001
Springer
100views Hardware» more  ICES 2001»
15 years 10 months ago
Evolutionary Design Calibration
Abstract. Evolutionary methods are now beginning to be used routinely in design applications. However, even with computing speeds growing continuously, for many complex design prob...
Thorsten Schnier, Xin Yao
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 10 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ADC
2000
Springer
82views Database» more  ADC 2000»
15 years 10 months ago
Querying Databases of Annotated Speech
Annotated speech corpora are databases consisting of signal data along with time-aligned symbolic ‘transcriptions’. Such databases are typically multidimensional, heterogeneou...
Steve Cassidy, Steven Bird
ATAL
1998
Springer
15 years 10 months ago
Goal Satisfaction in Large Scale Agent-Systems: A Transportation Example
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
Onn Shehory, Sarit Kraus, Osher Yadgar
ASPDAC
2007
ACM
99views Hardware» more  ASPDAC 2007»
15 years 10 months ago
DpRouter: A Fast and Accurate Dynamic-Pattern-Based Global Routing Algorithm
Abstract - This paper presents a fast and accurate global routing algorithm, DpRouter, based on two efficient techniques: (1) dynamic pattern routing (Dpr), and (2) segment movemen...
Zhen Cao, Tong Jing, Jinjun Xiong, Yu Hu, Lei He, ...