4255 search results - page 300 / 851 » Cover |
192
click to vote
ISORC
2007
IEEE
16 years 29 days ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
156
click to vote
ISVLSI
2007
IEEE
16 years 29 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
150
click to vote
MUE
2007
IEEE
16 years 29 days ago
2007
IEEE
Autonomic computing has attracted large amount of attention as a novel computing paradigm in the past few years. In this paper, we explore the inherent accordance between autonomi...
174
click to vote
PRDC
2007
IEEE
16 years 29 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
196
click to vote
ROMAN
2007
IEEE
16 years 29 days ago
2007
IEEE
Robot Programming by Demonstration (RbD) covers methods by which a robot learns new skills through human guidance. In this work, we take the perspective that the role of the tea...