Sciweavers

3879 search results - page 433 / 776
» PyPBS design and methodologies
Sort
View
SEMWEB
2007
Springer
16 years 26 days ago
The HCOME-3O Framework for Supporting the Collaborative Engineering of Evolving Ontologies
Nowadays it is widely accepted that ontologies, the key technology for the realization of the Semantic Web, are artefacts that are collaboratively and iteratively developed/evolved...
George A. Vouros, Konstantinos Kotis, Christos Cha...
DATE
2006
IEEE
112views Hardware» more  DATE 2006»
16 years 24 days ago
On the verification of automotive protocols
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...
G. Zarri, F. Colucci, F. Dupuis, R. Mariani, M. Pa...
ISCAS
2006
IEEE
74views Hardware» more  ISCAS 2006»
16 years 23 days ago
NIUGAP: low latency network interface architecture with Gray code for networks-on-chip
— The implementation of a high-performance network-on-chip (NoC) requires an efficient design for the network interface unit (NIU) that connects the switched network to the IP c...
Daewook Kim, Manho Kim, Gerald E. Sobelman
ANSS
2005
IEEE
16 years 11 days ago
The Bubble Bit Technique as Improvement of HDL-Based Quantum Circuits Simulation
When performed on a classical computer, the simulation of quantum circuits is usually an exponential job. The methodology based on Hardware Description Languages is able to isolat...
Mihai Udrescu, Lucian Prodan, Mircea Vladutiu
ATS
2005
IEEE
100views Hardware» more  ATS 2005»
16 years 11 days ago
Finite State Machine Synthesis for At-Speed Oscillation Testability
In this paper, we propose an oscillation-based test methodology for sequential testing. This approach provides many advantages over traditional methods. (1) It is at-speed testing...
Katherine Shu-Min Li, Chung-Len Lee, Tagin Jiang, ...