7827 search results - page 1350 / 1566 » time 2007 |
205
click to vote
IWMM
2007
Springer
16 years 19 days ago
2007
Springer
We present and evaluate a new technique for detecting and eliminating memory leaks in programs with dynamic memory allocation. This technique observes the execution of the program...
189
click to vote
KI
2007
Springer
16 years 19 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
183
click to vote
LCTRTS
2007
Springer
16 years 19 days ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...
168
click to vote
LCTRTS
2007
Springer
16 years 19 days ago
2007
Springer
Energy efficiency is an important factor in embedded systems design. We consider an embedded system with a dynamic voltage scaling (DVS) capable processor and its system-wide pow...
152
click to vote
MFCS
2007
Springer
16 years 19 days ago
2007
Springer
Suppose we are given a graph G together with two proper vertex k-colourings of G, α and β. How easily can we decide whether it is possible to transform α into β by recolouring...