10182 search results - page 184 / 2037 » Case Studies |
187
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...
169
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
174
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Traditional databases have focused on the issue of reducing I/O cost as it is the bottleneck in many operations. As databases become increasingly accepted in areas such as Geograp...
166
click to vote
WER
2004
Springer
15 years 12 months ago
2004
Springer
Who uses requirements engineering and design methodologies besides the people who invented them? Are researchers - at least - actually trying to use them in real-world complex proj...