1893 search results - page 135 / 379 » Computational composites |
145
click to vote
ICWS
2009
IEEE
16 years 2 months ago
2009
IEEE
—In this paper we extend our previous work on soft probabilistic contracts for QoS management, from the particular case of “response time”, to general QoS parameters. Our stu...
129
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
148
Voted
VISUALIZATION
2003
IEEE
15 years 10 months ago
2003
IEEE
Hand-crafted illustrations are often more effective than photographs for conveying the shape and important features of an object, but they require expertise and time to produce. W...
174
Voted
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
151
click to vote
ICPP
2009
IEEE
15 years 11 months ago
2009
IEEE
—In addition to their role as simulation engines, modern supercomputers can be harnessed for scientific visualization. Their extensive concurrency, parallel storage systems, and...