549 search results - page 30 / 110 » Verification condition generation for conditional informatio... |
104
Voted
MICRO
1997
IEEE
15 years 4 months ago
1997
IEEE
Predicated execution is a promising architectural feature for exploiting instruction-level parallelism in the presence of control flow. Compiling for predicated execution involve...
124
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
79
Voted
IC
2008
15 years 1 months ago
2008
- A web monitor is a program used to monitor some public HTML-based Internet information available from dynamic HTML documents on the Internet based on a user defined set of criter...
104
Voted
JECR
2000
15 years 9 days ago
2000
Traditional supply chain management utilized traditional media and channels to link firms in linear, inefficient relationships. The advent of electronic commerce over the Internet...
84
Voted
GRAPHICSINTERFACE
2008
15 years 1 months ago
2008
A major challenge of novel scientific visualization using Augmented Reality is the accuracy of the user/camera position tracking. Many alternative techniques have been proposed, b...