Sciweavers

1642 search results - page 22 / 329
» SPINning Parallel Systems Software
Sort
View
FPL
2009
Springer
117views Hardware» more  FPL 2009»
14 years 9 days ago
Data parallel FPGA workloads: Software versus hardware
Commercial soft processors are unable to effectively exploit the data parallelism present in many embedded systems workloads, requiring FPGA designers to exploit it (laboriously) ...
Peter Yiannacouras, J. Gregory Steffan, Jonathan R...
OSDI
2002
ACM
14 years 8 months ago
Using Model Checking to Debug Device Firmware
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
Sanjeev Kumar, Kai Li
PDPTA
2000
13 years 9 months ago
Impact of Using Pattern-Based Systems on the Qualities of Parallel Applications
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
Ladan Tahvildari, Ajit Singh
VLDB
2001
ACM
138views Database» more  VLDB 2001»
14 years 3 days ago
Operating System Extensions for the Teradata Parallel VLDB
This paper describes the new architecture for supporting the Teradata commercial VLDB on several new operating environments. We start with an overview of the Teradata database sof...
John Catozzi, Sorana Rabinovici
IPPS
1998
IEEE
13 years 12 months ago
A Hardware/Software Co-Design System Using Configurable Computing Technology
Virtual Computer Corporation has combined the latest reconfigurable component technology with a number of advanced software tools in one easy to use `system approach' to digi...
John Schwel