3498 search results - page 126 / 700 » Role Model Based Framework Design and Integration |
140
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
116
click to vote
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...
137
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...
127
click to vote
JIRS
2006
15 years 4 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm. The approach is based on measurements of the hand position and orientation as well ...
151
click to vote
ISPD
2010
ACM
15 years 11 months ago
2010
ACM
Double Patterning Lithography (DPL) is one of the few hopeful candidate solutions for the lithography for CMOS process beyond 45nm. DPL assigns the patterns less than a certain di...