26957 search results - page 414 / 5392 » Information Systems Modernization |
163
click to vote
EUROPAR
2007
Springer
16 years 29 days ago
2007
Springer
Iterated Runge-Kutta (IRK) methods are a class of explicit solution methods for initial value problems of ordinary differential equations (ODEs) which possess a considerable poten...
177
click to vote
NLE
2008
15 years 6 months ago
2008
Morphological analysis is a crucial component of several natural language processing tasks, especially for languages with a highly productive morphology, where stipulating a full ...
167
click to vote
IGPL
2007
15 years 6 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
208
click to vote
USENIX
1993
15 years 8 months ago
1993
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet...
177
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...