854 search results - page 167 / 171 » Addressing Dynamic Issues of Program Model Checking |
DAC
2004
ACM
16 years 17 days ago
2004
ACM
Efficient energy and performance estimation of embedded software is a critical part of any system-level design flow. Macromodeling based estimation is an attempt to speed up estim...
104
click to vote
ICSE
2008
IEEE-ACM
16 years 12 days ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
WETICE
1997
IEEE
15 years 3 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
104
click to vote
CIDR
2003
15 years 29 days ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
WIOPT
2010
IEEE
14 years 10 months ago
2010
IEEE
—In distributed network settings, where nodes are not under the control of a single administrative entity, the fulfillment of fundamental network operations is heavily dependent...