2555 search results - page 423 / 511 » Putting complex systems to work |
239
Voted
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
104
click to vote
ICCAD
2002
IEEE
15 years 9 months ago
2002
IEEE
— The communication sub-system of complex IC systems is increasingly critical for achieving system performance. Given this, it is important that the on-chip communication archite...
92
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
—Hybrid P2P systems rely on the assumption that sufficient objects exist nearby in order to make the unstructured search component efficient. This availability depends on the o...
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
122
click to vote
ICMCS
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...