4745 search results - page 318 / 949 » Discretization: An Enabling Technique |
157
click to vote
KBSE
2007
IEEE
16 years 29 days ago
2007
IEEE
Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...
176
click to vote
SMC
2007
IEEE
16 years 29 days ago
2007
IEEE
— The field of robotics is on a growth curve, with most of the growth expected in the areas of personal and service robots. As robots become more prevalent in chaotic home and in...
187
click to vote
BIOWIRE
2007
Springer
16 years 26 days ago
2007
Springer
In this chapter, we present some of the biologically-inspired approaches, developed within the context of the European project BIONETS for enabling autonomic pervasive computing en...
144
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
155
click to vote
FDL
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...