Sciweavers

3653 search results - page 486 / 731
» On Recognizable Timed Languages
Sort
View
FDL
2003
IEEE
15 years 12 months ago
Dynamic Power Management of an AMBA-based Platform in SystemC
With System on Chip low power constraints becoming increasingly important, emphasis is moving to architectural level, optimum memory organisation and system run time management. T...
Massimo Conti, Marco Caldari, Simone Orcioni
FDL
2003
IEEE
15 years 12 months ago
Using Symbolic Simulation for Bounded Property Checking
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
Jürgen Ruf, Prakash Mohan Peranandam, Thomas ...
FDL
2003
IEEE
15 years 12 months ago
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing
Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the...
Mauricio Ayala-Rincón, Ricardo P. Jacobi, C...
ELPUB
2003
ACM
15 years 12 months ago
Layout Design Principles for Cross Platform Publications
Design is a way of communication and expression. Words, shapes and images are a language and all together contribute to an effective communication. Designers and creative media la...
Angeliki Tevekeli
AI
2003
Springer
15 years 12 months ago
Summarizing Web Sites Automatically
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
Yongzheng Zhang, A. Nur Zincir-Heywood, Evangelos ...