4693 search results - page 111 / 939 » Verifying Hybrid Systems |
97
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
130
click to vote
GCC
2004
Springer
15 years 6 months ago
2004
Springer
This paper addresses the dynamic scheduling of moldable jobs with QoS demands (soft-deadlines) in multiclusters. A moldable job can be run on a variable number of resources. Three ...
101
click to vote
HYBRID
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Multi-modal control is a commonly used design tool for breaking up complex control tasks into sequences of simpler tasks. In this paper, we show that by viewing the contr...
119
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
In this paper, we describe a system design methodology for the concurrent development of hybrid software/hardware systems for telecom network applications. This methodology is bas...
99
Voted
IAT
2007
IEEE
15 years 4 months ago
2007
IEEE
Multiagent systems (MAS) satisfy to design requirements for open physical complex systems. However, up to now, no method allows to build software/hardware hybrid multiagent system...