2354 search results - page 441 / 471 » Tracking Stopping Times |
148
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
128
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
132
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
For most Web-based applications, contents are created dynamically based on the current state of a business, such as product prices and inventory, stored in database systems. These...
137
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The ability to accurately identify the network traffic associated with different P2P applications is important to a broad range of network operations including application-specifi...
265
Voted
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...