Sciweavers

5232 search results - page 638 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
ICCAD
1994
IEEE
137views Hardware» more  ICCAD 1994»
15 years 11 months ago
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...
Claudionor José Nunes Coelho Jr., Giovanni ...
CVDB
2005
ACM
15 years 8 months ago
A live multimedia stream querying system
Querying live media streams captured by various sensors is becoming a challenging problem, due to the data heterogeneity and the lack of a unifying data model capable of accessing...
Bin Liu, Amarnath Gupta, Ramesh Jain
WCE
2007
15 years 8 months ago
Prioritizing Quality Specifications of Multi-agent Systems
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...
Punam Bedi, Vibha Gaur
CATA
2010
15 years 7 months ago
A Hardware Implementation of the Advanced Encryption Standard (AES) Algorithm using SystemVerilog
In this paper, a hardware implementation of the AES128 encryption algorithm is proposed. A unique feature of the proposed pipelined design is that the round keys, which are consum...
Bahram Hakhamaneshi, Behnam S. Arad
IJVR
2008
119views more  IJVR 2008»
15 years 6 months ago
Agent-based Intelligence Decision Support System for Virtual Greenhouse
In facility agriculture, it is an urgent problem to design and choose the type and facility of greenhouse based on user's requirements, which are always difficult to express c...
Wei Wei, Xinyu Guo, Shenglian Lu, Chunjiang Zhao