Sciweavers

1894 search results - page 228 / 379
» A service-oriented approach for integrating multiagent syste...
Sort
View
KES
2006
Springer
15 years 1 months ago
A Framework for distributed knowledge management in autonomous logistic processes
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
Hagen Langer, Jan D. Gehrke, Joachim Hammer, Marti...
DAC
2007
ACM
16 years 2 months ago
Variation Resilient Low-Power Circuit Design Methodology using On-Chip Phase Locked Loop
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
Kunhyuk Kang, Kee-Jong Kim, Kaushik Roy
HYBRID
2005
Springer
15 years 7 months ago
Interchange Formats for Hybrid Systems: Review and Proposal
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
Alessandro Pinto, Alberto L. Sangiovanni-Vincentel...
DATE
2006
IEEE
86views Hardware» more  DATE 2006»
15 years 8 months ago
Synthesis of system verilog assertions
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P....
IROS
2007
IEEE
250views Robotics» more  IROS 2007»
15 years 8 months ago
Multi-cue 3D object recognition in knowledge-based vision-guided humanoid robot system
— A vision based object recognition subsystem on knowledge-based humanoid robot system is presented. Humanoid robot system for real world service application must integrate an ob...
Kei Okada, Mitsuharu Kojima, Satoru Tokutsu, Toshi...