1718 search results - page 178 / 344 » Modeling and testing of cloud applications |
143
click to vote
ICFEM
2009
Springer
15 years 1 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
142
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
107
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Audio Video coding Standard (AVS) is China’s secondgeneration source coding/decoding standard with fully Intellectual Properties. As the sixth part of AVS standard, AVSDRM aims ...
127
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
Keeping diagnostic resolution as high as possible while maximizing the compaction ratio is subject to research since the advent of embedded test. In this paper, we present a novel...
119
click to vote
ISVC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a new image-space algorithm for real-time collision detection, where the GPU computes the potentially colliding sets, and the CPU performs the standard triangle...