972 search results - page 177 / 195 » Reasoning with Conditional Time-Intervals |
112
Voted
MSR
2006
ACM
15 years 7 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
100
Voted
ICDT
2005
ACM
15 years 7 months ago
2005
ACM
Abstract. In this paper, we consider whether traditional index structures are effective in processing unstable nearest neighbors workloads. It is known that under broad conditions...
128
Voted
POLICY
2005
Springer
15 years 7 months ago
2005
Springer
Policy-based management provides the ability to (re-)configure differentiated services networks so that desired Quality of Service (QoS) goals are achieved. Relevant configuration...
131
click to vote
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
The design of concurrent programs is error-prone due to the interaction between concurrently executing threads. Traditional automated techniques for finding errors in concurrent ...
105
Voted
AH
2004
Springer
15 years 7 months ago
2004
Springer
Web-based parameterized quizzes provide teachers and students with several advantages as the technology for self-assessment. However, the effect of these advantages is strongly red...