28497 search results - page 402 / 5700 » Improving experiences of computation |
178
click to vote
ECOOP
2007
Springer
16 years 1 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Our work is based on tracematches, an extension to...
137
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
To date, the most commonly used criterion for invoking garbage collection (GC) is based on heap usage; that is garbage collection is invoked when the heap or an area inside the he...
180
click to vote
APWEB
2004
Springer
16 years 8 days ago
2004
Springer
In a state-of-the-art XML database, an XML query is evaluated as a sequence of structural joins in which positions of data nodes are used to perform each individual structural joi...
190
click to vote
CADE
2004
Springer
16 years 8 days ago
2004
Springer
The dependency pair approach is one of the most powerful techniques for automated (innermost) termination proofs of term rewrite systems (TRSs). For any TRS, it generates inequalit...
164
click to vote
ICRA
2003
IEEE
16 years 5 days ago
2003
IEEE
In this paper, three fundamental techniques to improve laminated passive elements are proposed for wearable haptic displays. First, a new shape of sheet surfaces in laminated pass...