Sciweavers

1700 search results - page 229 / 340
» Specifying and implementing refactorings
Sort
View
IPPS
2003
IEEE
15 years 11 months ago
System-Level Modeling of Dynamically Reconfigurable Hardware with SystemC
To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several meth...
Antti Pelkonen, Kostas Masselos, Miroslav Cup&aacu...
ITC
2003
IEEE
222views Hardware» more  ITC 2003»
15 years 11 months ago
Race: A Word-Level ATPG-Based Constraints Solver System For Smart Random Simulation
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
Mahesh A. Iyer
RTAS
2003
IEEE
15 years 11 months ago
A Cyclic-Executive-Based QoS Guarantee over USB
Universal Serial Bus (USB) is a popular standard for PC peripheral devices because of its versatile peripheral interconnection specifications. USB not only provides simplified h...
Chih-Yuan Huang, Li-Pin Chang, Tei-Wei Kuo
SP
2003
IEEE
104views Security Privacy» more  SP 2003»
15 years 11 months ago
Using Replication and Partitioning to Build Secure Distributed Systems
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
Lantian Zheng, Stephen Chong, Andrew C. Myers, Ste...
SSDBM
2003
IEEE
115views Database» more  SSDBM 2003»
15 years 11 months ago
Efficient Update and Retrieval of Objects in a Multiresolution Geospatial Database
Many emerging applications benefit from the extraction of geospatial data specified at different resolutions for viewing purposes. Data must also be topologically accurate and up-...
Sham Prasher, Xiaofang Zhou