2639 search results - page 353 / 528 » Improving Web Design Methods with Architecture Modeling |
JCM
2008
13 years 8 months ago
2008
The use of antenna arrays at emission and reception seems to represent a prominent solution for future wireless systems, it improves data rates and enhances the quality of service....
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
AROBOTS
2008
13 years 8 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
GLVLSI
2009
IEEE
14 years 2 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...