Sciweavers

718 search results - page 6 / 144
» Pillar: A Parallel Implementation Language
Sort
View
CASES
2006
ACM
14 years 3 months ago
Syntax-driven implementation of software programming language control constructs and expressions on FPGAs
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
Neil C. Audsley, Michael Ward
IPPS
2006
IEEE
14 years 3 months ago
TPCC-UVa: an open-source TPC-C implementation for parallel and distributed systems
This paper presents TPCC-UVa, an open-source implementation of the TPC-C benchmark intended to be used in parallel and distributed systems. TPCC-UVa is written entirely in C langu...
Diego R. Llanos Ferraris, Belén Palop
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 5 months ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
PAAPP
2002
101views more  PAAPP 2002»
13 years 9 months ago
Static performance prediction of skeletal parallel programs
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
Yasushi Hayashi, Murray Cole
MODELS
2010
Springer
13 years 8 months ago
Transformation-Based Parallelization of Request-Processing Applications
Abstract. Multicore, multithreaded processors are rapidly becoming the platform of choice for high-throughput request-processing applications (RPAs). We refer to this class of mode...
Taylor L. Riché, Harrick M. Vin, Don S. Bat...