3676 search results - page 622 / 736 » Scalable component abstractions |
110
click to vote
ARC
2010
Springer
15 years 27 days ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
ICPR
2010
IEEE
15 years 26 days ago
2010
IEEE
Abstract—We propose a framework for clustering and visualization of images of face carvings at archaeological sites. The pairwise similarities among face carvings are computed by...
115
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
107
Voted
CORR
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. Monotone systems of polynomial equations (MSPEs) are systems of fixedpoint equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomia...
78
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...