3239 search results - page 357 / 648 » A Logical Process Calculus |
161
click to vote
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Power dissipation has constrained the performance boosting of modern computer systems in the past decade. Dynamic power management has been widely applied to change the ...
136
click to vote
SMA
2009
ACM
15 years 10 months ago
2009
ACM
Current mesh reduction techniques, while numerous, all primarily reduce mesh size by successive element deletion (e.g. edge collapses) with the goal of geometric and topological f...
154
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
159
click to vote
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
135
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
In total knee replacement surgery, also known as total knee arthroplasty, prosthetics are implanted in the knee joint as treatment for progressive diseases such as arthritis or tr...