1928 search results - page 362 / 386 » Integrity Constraints in OWL |
WWW
2010
ACM
14 years 4 months ago
2010
ACM
Web service composition enables seamless and dynamic integration of business applications on the web. The performance of the composed application is determined by the performance ...
ISPD
2010
ACM
14 years 4 months ago
2010
ACM
Thermal/power issues have become increasingly important with more and more transistors being put on a single chip. Many dynamic thermal/power management techniques have been propo...
DAC
2009
ACM
14 years 4 months ago
2009
ACM
Manufacturing process variability impacts the performance of synchronous logic circuits by means of its effect on both clock network and functional block delays. Typically, varia...
ISPD
2009
ACM
14 years 4 months ago
2009
ACM
As VLSI technology moves to the 65nm node and beyond, interconnect delay greatly limits the circuit performance. As a critical component in interconnect synthesis, layer assignmen...
PLDI
2009
ACM
14 years 4 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...