483 search results - page 19 / 97 » Reachability Analysis of Hybrid Systems Using Support Functi... |
69
Voted
CC
2007
Springer
15 years 3 months ago
2007
Springer
DeepWeaver-1 is a tool supporting cross-cutting program analysis and transformation components, called “weaves”. Like an aspect, a DeepWeaver weave consists of a query part, an...
94
Voted
ISPW
2006
IEEE
15 years 3 months ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
DAC
2008
ACM
15 years 10 months ago
2008
ACM
With the growing number of programmable processing elements in today's MultiProcessor System-on-Chip (MPSoC) designs, the synergy required for the development of the hardware...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
Abstract— Motivated by the goal of obtaining moreanthropomorphic walking in bipedal robots, this paper considers a hybrid model of a 3D hipped biped with feet and locking knees. ...
76
Voted
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— We present a hybrid data mining approach to detect malicious executables. In this approach we identify important features of the malicious and benign executables. These feature...