Sciweavers

3038 search results - page 449 / 608
» Industrial evolutionary computing
Sort
View
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
16 years 1 months ago
Automated synthesis of streaming C applications to process networks in hardware
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
Sven van Haastregt, Bart Kienhuis
GLVLSI
2009
IEEE
150views VLSI» more  GLVLSI 2009»
16 years 1 months ago
Contradictory antecedent debugging in bounded model checking
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
Daniel Große, Robert Wille, Ulrich Kühn...
ICAC
2009
IEEE
16 years 1 months ago
Run-time correlation engine for system monitoring and testing
We present an approach and implementation for run-time correlation of large volumes of log data and symptom matching of know issues in the context of large enterprise applications...
Viliam Holub, Trevor Parsons, Patrick O'Sullivan, ...
SEMCO
2009
IEEE
16 years 1 months ago
Towards a Global Business Document Reference Ontology
In the field of business document standardization a multitude of different standardization efforts exist. Unfortunately, most of the developed standards are designed for a speci...
Philipp Liegl, Christian Huemer, Marco Zapletal
IPPS
2009
IEEE
16 years 1 months ago
Design, implementation, and evaluation of transparent pNFS on Lustre
Parallel NFS (pNFS) is an emergent open standard for parallelizing data transfer over a variety of I/O protocols. Prototypes of pNFS are actively being developed by industry and a...
Weikuan Yu, Oleg Drokin, Jeffrey S. Vetter