10304 search results - page 1813 / 2061 » Computer science with the sciences: an emphasis in computati... |
109
click to vote
JUCS
2007
15 years 1 months ago
2007
: This paper presents a project that provides both, to professors and to students, a tool that is useful for studying, teaching and learning how pipelines work and how they can be ...
102
click to vote
JUCS
2007
15 years 1 months ago
2007
: The WWW is currently experiencing a revolutionary growth due to its increasing participative community software applications. This paper highlights an emerging application develo...
128
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
We study the random m-ary search tree model (where m stands for the number of branches of the search tree), an important problem for data storage in computer science, using a varie...
111
click to vote
CONCURRENCY
2002
15 years 1 months ago
2002
Computational science portals are emerging as useful and necessary interfaces for performing operations on the Grid. The Grid Portal Development Kit (GPDK) facilitates the develop...
120
click to vote
EATCS
2000
15 years 1 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...