Sciweavers

12334 search results - page 63 / 2467
» The Use of C
Sort
View
DATE
2004
IEEE
154views Hardware» more  DATE 2004»
14 years 1 months ago
Fast Exploration of Parameterized Bus Architecture for Communication-Centric SoC Design
For successful SoC design, efficient and scalable communication architecture is crucial. Some bus interconnects now provide configurable structures to meet this requirement of an ...
Chulho Shin, Young-Taek Kim, Eui-Young Chung, Kyu-...
ENTCS
2008
132views more  ENTCS 2008»
13 years 10 months ago
Distributed Verification of Multi-threaded C++ Programs
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
ARC
2006
Springer
88views Hardware» more  ARC 2006»
14 years 1 months ago
Integrating Custom Instruction Specifications into C Development Processes
Abstract. We describe a new approach for creating hardware description language (HDL) specifications for custom instructions, to form part of the instruction-set architecture (ISA)...
Jack Whitham, Neil C. Audsley
ACMICEC
2006
ACM
186views ECommerce» more  ACMICEC 2006»
14 years 4 months ago
Distrust and trust in B2C e-commerce: do they differ?
Researchers have not studied e-commerce distrust as much as ecommerce trust. This study examines whether trust and distrust are distinct concepts. If trust and distrust are the sa...
D. Harrison McKnight, Vivek Choudhury
SOFTVIS
2005
ACM
14 years 3 months ago
Exploiting UML dynamic object modeling for the visualization of C++ programs
In this paper we present an approach to modeling and visualizing the dynamic interactions among objects in a C++ application. We exploit UML diagrams to expressively visualize bot...
Brian A. Malloy, James F. Power