3168 search results - page 137 / 634 » Computing Event Dependencies in System Designs and Programs |
140
Voted
HYBRID
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
169
click to vote
CORR
2011
Springer
15 years 1 days ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
146
click to vote
FAC
2006
15 years 5 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
197
click to vote
CPE
1994
Springer
15 years 9 months ago
1994
Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
130
Voted
HICSS
2010
IEEE
15 years 9 months ago
2010
IEEE
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...