4683 search results - page 661 / 937 » Software Release Management |
163
click to vote
CC
2007
Springer
16 years 25 days ago
2007
Springer
Reference counting is a classical garbage collection method. Recently, a series of papers have extended the basic method to drastically reduce its notorious overhead and extend the...
180
click to vote
CIVR
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
167
click to vote
FSEN
2007
Springer
16 years 24 days ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
172
click to vote
IFIP
2007
Springer
16 years 24 days ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
187
click to vote
ISSAC
2007
Springer
16 years 24 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...