5634 search results - page 740 / 1127 » About Abstract Classes |
182
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems...
190
click to vote
QEST
2006
IEEE
16 years 25 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
149
click to vote
SIGCSE
2006
ACM
16 years 23 days ago
2006
ACM
In this paper, we present an extensible visualization tool that is being used in a web-based closed laboratory system. The goal of this project is to provide a tool for both stude...
183
click to vote
HPDC
2005
IEEE
2005
IEEE
Increasing application performance in virtual environments through run-time inference and adaptation
16 years 13 days ago
Virtual machine distributed computing greatly simplifies the use of widespread computing resources by lowering the abstraction, benefiting both resource providers and users. Tow...
178
click to vote
ICMCS
2005
IEEE
16 years 12 days ago
2005
IEEE
Video annotation is typically performed by classifying video elements according to some pre-defined ontology of the video content domain. Ontologies are defined by establishing ...