Sciweavers

1747 search results - page 265 / 350
» A Comparative Analysis of Architecture Frameworks
Sort
View
DAC
2005
ACM
16 years 7 months ago
Multi-threaded reachability
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
Debashis Sahoo, Jawahar Jain, Subramanian K. Iyer,...
VLSID
2007
IEEE
133views VLSI» more  VLSID 2007»
16 years 6 months ago
On the Impact of Address Space Assignment on Performance in Systems-on-Chip
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
G. Hazari, Madhav P. Desai, H. Kasture
SIGMOD
2007
ACM
144views Database» more  SIGMOD 2007»
16 years 6 months ago
GhostDB: querying visible and hidden data without leaks
Imagine that you have been entrusted with private data, such as corporate product information, sensitive government information, or symptom and treatment information about hospita...
Nicolas Anciaux, Mehdi Benzine, Luc Bouganim, Phil...
ICCAD
2006
IEEE
180views Hardware» more  ICCAD 2006»
16 years 3 months ago
A bitmask-based code compression technique for embedded systems
Embedded systems are constrained by the available memory. Code compression techniques address this issue by reducing the code size of application programs. Dictionary-based code c...
Seok-Won Seong, Prabhat Mishra
HICSS
2009
IEEE
117views Biometrics» more  HICSS 2009»
16 years 1 months ago
Integrated Patient Health Information Systems to Improve Traffic Crash Emergency Response and Treatment
This research explores how a wide range of automobile crash, emergency responder, hospital, and trauma information could be useful to emergency medical practitioners for making de...
Benjamin L. Schooley, Thomas A. Horan, Michael Mar...