Sciweavers

15635 search results - page 358 / 3127
» A Designing Model of XML-Dataweb
Sort
View
DATE
2009
IEEE
112views Hardware» more  DATE 2009»
16 years 1 months ago
Test exploration and validation using transaction level models
—The complexity of the test infrastructure and test strategies in systems-on-chip approaches the complexity of the functional design space. This paper presents test design space ...
Michael A. Kochte, Christian G. Zoellin, Michael E...
ICRA
2009
IEEE
143views Robotics» more  ICRA 2009»
16 years 1 months ago
Randomized model predictive control for robot navigation
— We suggest a new navigation approach to mobile robots, within a nonlinear model predictive control framework where a navigation function is used as a control Lyapunov function....
Jorge L. Piovesan, Herbert G. Tanner
ACSD
2007
IEEE
116views Hardware» more  ACSD 2007»
16 years 1 months ago
A Formal Model for Integrating Multiple Views
In this paper we show how to use labelled event structures as a unique mathematical representation for design models consisting of different UML 2.0 diagrams/notation. Each diagra...
Juliana Küster Filipe Bowles, Behzad Bordbar
EMISA
2004
Springer
16 years 3 days ago
A Comparison of XML Interchange Formats for Business Process Modelling
: This paper addresses heterogeneity of business process metamodels and related interchange formats. The different approaches towards interchange format design and effects of inter...
Jan Mendling, Gustaf Neumann, Markus Nüttgens
DATE
1999
IEEE
81views Hardware» more  DATE 1999»
15 years 11 months ago
A Power Estimation Model for High-Speed CMOS A/D Converters
Power estimation is important for system-level exploration and trade-off analysis of VLSI systems. A power estimator for high-speed analog to digital converters that exploits info...
Erik Lauwers, Georges G. E. Gielen