1528 search results - page 163 / 306 » Performance Assertion Checking |
150
click to vote
FOSSACS
2012
Springer
13 years 10 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
101
Voted
PLDI
2012
ACM
13 years 5 months ago
2012
ACM
This paper addresses the problem of reducing unnecessary conflicts in optimistic synchronization. Optimistic synchronization must ensure that any two concurrently executing trans...
106
Voted
ITICSE
2005
ACM
15 years 8 months ago
2005
ACM
Recent research has shown that a student’s learning style – essentially, the way a student approaches and masters new material – can affect student performance in introducto...
105
Voted
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
Measuring system performance seems conceptually straightforward. However, the interpretation of the results and predicting future performance remain as exceptional challenges in s...
130
click to vote
CADE
2006
Springer
16 years 2 months ago
2006
Springer
In this paper, we discuss a lightweight approach to eliminate the overhead due to implicit type arguments during higher-order unification of dependently-typed terms. First, we show...