Sciweavers

805 search results - page 3 / 161
» Description and Simulation of Hardware Software Systems with...
Sort
View
RSP
2000
IEEE
143views Control Systems» more  RSP 2000»
13 years 10 months ago
Hardware/Software Co-Design of a Java Virtual Machine
This paper discusses the initial results of research into the development of a hardware/software co-design of the Java virtual machine. The design considers a complete Java virtua...
Kenneth B. Kent, Micaela Serra
DAC
2001
ACM
14 years 7 months ago
Hardware/Software Instruction Set Configurability for System-on-Chip Processors
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
Albert Wang, Earl Killian, Dror E. Maydan, Chris R...
CADE
1998
Springer
13 years 10 months ago
System Description: card TAP: The First Theorem Prover on a Smart Card
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Rajeev Goré, Joachim Posegga, Andrew Slater...
DATE
2005
IEEE
278views Hardware» more  DATE 2005»
13 years 11 months ago
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
Franco Fummi, Mirko Loghi, Stefano Martini, Marco ...
CEC
2009
IEEE
13 years 10 months ago
JubiTool: Unified design flow for the Perplexus SIMD hardware accelerator
This paper presents a new unified design flow developed within the Perplexus project that aims to accelerate parallelizable data-intensive applications in the context of ubiquitous...
Olivier Brousse, Jérémie Guillot, Th...