34202 search results - page 249 / 6841 » The Tera computer system |
170
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
This paper argues for new computational mechanisms to aid specification of requirements for composite systems. It presents mechanisms for storing specification fragments, or viewp...
152
click to vote
FUIN
2008
15 years 7 months ago
2008
In this paper, we investigate the computational efficiency of gene rearrangement operations found in ciliates, a type of unicellular organisms. We show how the so-called guided re...
157
click to vote
CACM
2004
15 years 7 months ago
2004
We began our analysis of computing research by defining a comprehensive classification system to cover CS, SE, and IS. The classification system and the rationale underlying it ca...
219
click to vote
JSAT
2010
15 years 2 months ago
2010
The design of a SAT-solver or the modification of an existing one is always followed by a phase of intensive testing of the solver on a benchmark of instances. This task can be ve...
698
click to vote
Presentation
In this paper, we propose a personal navigation system for tourism called P-Tour. When a tourist specifies multiple destinations with relative importance and restrictions on arriva...