Heterogeneous system level co-simulation for the design of telecommunication systems
Journal of Systems Architecture: the EUROMICRO Journal
A computational reflection mechanism to support platform debugging in SystemC
CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis
Simulated fault injections and their acceleration in SystemC
Microprocessors & Microsystems
Processor Description Languages
Processor Description Languages
A Case Study in Distributing a SystemC Model
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Proceedings of the 46th Annual Design Automation Conference
MAGENTA: transaction-based statistical micro-architectural root-cause analysis
Proceedings of the 46th Annual Design Automation Conference
A control-theoretic approach to rate control for streaming videos
IEEE Transactions on Multimedia - Special issue on quality-driven cross-layer design for multimedia communications
Dynamic Electronic Design Automation concept, benefit and framework
Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human
HiPEAC'07 Proceedings of the 2nd international conference on High performance embedded architectures and compilers
Compositional semantics of system-level designs written in systemC
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
SystemC-based design space exploration of a 3D graphics acceleration SoC for consumer electronics
EUC'07 Proceedings of the 2007 international conference on Embedded and ubiquitous computing
Formalization of data flow computing and a coinductive approach to verifying flowware synthesis
Transactions on computational science I
Analysis and design of a proportional-integral rate controller for streaming videos
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
From OO to FPGA: fitting round objects into square hardware?
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Sysfier: Actor-based formal verification of SystemC
ACM Transactions on Embedded Computing Systems (TECS)
Formal deadlock checking on high-level SystemC designs
Proceedings of the International Conference on Computer-Aided Design
On the interfacing between QEMU and SystemC for virtual platform construction: Using DMA as a case
Journal of Systems Architecture: the EUROMICRO Journal
Formal Analysis of SystemC Designs in Process Algebra
Fundamenta Informaticae
DART--a High Level Software-Defined Radio Platform Model for Developing the Run-Time Controller
Journal of Signal Processing Systems
Completeness-driven development
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |