Sciweavers

10604 search results - page 198 / 2121
» Computational Fluid Dynamics
Sort
View
124
Voted
BIOCOMP
2006
15 years 5 months ago
Parameterized Computation of LCS for Two Sequences
- The problem of finding the longest common subsequence is a well-known optimization problem because of its applications, especially in bioinformatics. In this paper, by applying t...
Yuan Lin, Jeff Jenness, Xiuzhen Huang
169
Voted
GRIDNETS
2008
15 years 4 months ago
A High Performance SOAP Engine for Grid Computing
Web Service technology still has many defects that make its usage for Grid computing problematic, most notably the low performance of the SOAP engine. In this paper, we develop a n...
Ning Wang, Michael Welzl, Liang Zhang
99
Voted
IJBC
2007
86views more  IJBC 2007»
15 years 3 months ago
Optimization and the Miranda Approach in Detecting Horseshoe-Type Chaos by Computer
f of the underlying abstract theorem avoids of referring to any results of applied algebraic topology and relies only on the Brouwer fixed point theorem. The second novelty is tha...
Balázs Bánhelyi, Tibor Csendes, Barn...
111
Voted
FPL
2004
Springer
90views Hardware» more  FPL 2004»
15 years 7 months ago
Dual Fixed-Point: An Efficient Alternative to Floating-Point Computation
Abstract. This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provide...
Chun Te Ewe, Peter Y. K. Cheung, George A. Constan...
111
Voted
ENTCS
2008
99views more  ENTCS 2008»
15 years 3 months ago
Specifying Properties of Concurrent Computations in CLF
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
Kevin Watkins, Iliano Cervesato, Frank Pfenning, D...