32032 search results - page 6082 / 6407 » Verified programming in Guru |
190
click to vote
CF
2006
ACM
16 years 23 days ago
2006
ACM
In a multi-programmed computing environment, threads of execution exhibit different runtime characteristics and hardware resource requirements. Not only do the behaviors of distin...
206
click to vote
IMC
2006
ACM
16 years 23 days ago
2006
ACM
Understanding the characteristics of the Internet delay space (i.e., the all-pairs set of static round-trip propagation delays among edge networks in the Internet) is important fo...
168
click to vote
ISPD
2006
ACM
16 years 23 days ago
2006
ACM
Advanced process technologies call for a proactive consideration of process variations in design to ensure high parametric timing yield. Despite of its popular use in almost any h...
167
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
159
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...