147 search results - page 12 / 30 » Queue Machines: Hardware Compilation in Hardware |
SAMOS
2004
Springer
15 years 2 months ago
2004
Springer
This paper presents a novel micro-architecture for high-performance and low-power DSPs. The underlying Synchronous Transfer Architecture (STA) fills the gap between SIMD-DSPs and ...
HOLOMAS
2009
Springer
15 years 2 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
CCGRID
2009
IEEE
15 years 2 months ago
2009
IEEE
Virtual Organization Clusters are systems comprised of virtual machines that provide dedicated computing clusters for each individual Virtual Organization. The design of these clu...
ECBS
2003
IEEE
15 years 2 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
100
Voted
APCSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Dynamic optimization presents opportunities for finding run-time bottlenecks and deploying optimizations in statically compiled programs. In this paper, we discuss our current impl...