Sciweavers

323 search results - page 37 / 65
» Synthesis for Structure Rewriting Systems
Sort
View
ADBIS
2005
Springer
120views Database» more  ADBIS 2005»
14 years 1 months ago
Extensible Canonical Process Model Synthesis Applying Formal Interpretation
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
Leonid A. Kalinichenko, Sergey A. Stupnikov, Nikol...
ISSS
1999
IEEE
168views Hardware» more  ISSS 1999»
13 years 12 months ago
Automatic Architectural Synthesis of VLIW and EPIC Processors
This paper describes a mechanism for automatic design and synthesis of very long instruction word (VLIW), and its generalization, explicitly parallel instruction computing rocesso...
Shail Aditya, B. Ramakrishna Rau, Vinod Kathail
TROB
2002
64views more  TROB 2002»
13 years 7 months ago
Synthesis of deadlock prevention supervisors using Petri nets
Given an arbitrary Petri net (PN) structure, which may have uncontrollable and unobservable transitions, the deadlock prevention procedure presented here determines a set of linear...
Marian V. Iordache, John O. Moody, Panos J. Antsak...
EDBT
2009
ACM
124views Database» more  EDBT 2009»
14 years 2 months ago
A sequential indexing scheme for flash-based embedded systems
NAND Flash has become the most popular stable storage medium for embedded systems. As on-board storage capacity increases, the need for efficient indexing techniques arises. Such ...
Shaoyi Yin, Philippe Pucheral, Xiaofeng Meng
MM
2003
ACM
124views Multimedia» more  MM 2003»
14 years 27 days ago
Using structure patterns of temporal and spectral feature in audio similarity measure
Although statistical characteristics of audio features are widely used for similarity measure in most of current audio analysis systems and have been proved to be effective, they ...
Rui Cai, Lie Lu, HongJiang Zhang