Sciweavers

1508 search results - page 247 / 302
» Toward Software Plug-and-Play
Sort
View
CODES
2004
IEEE
14 years 27 days ago
Automatic synthesis of system on chip multiprocessor architectures for process networks
In this paper, we present an approach for automatic synthesis of System on Chip (SoC) multiprocessor architectures for applications expressed as process networks. Our approach is ...
Basant Kumar Dwivedi, Anshul Kumar, M. Balakrishna...
FOSSACS
2006
Springer
14 years 25 days ago
Processes for Adhesive Rewriting Systems
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
ASPDAC
2001
ACM
185views Hardware» more  ASPDAC 2001»
14 years 24 days ago
Power optimization and management in embedded systems
Power-efficient design requires reducing power dissipation in all parts of the design and during all stages of the design process subject to constraints on the system performance ...
Massoud Pedram
SOFT
2000
14 years 22 days ago
Problems and Prospects in Fuzzy Data Analysis
In meeting the challenges that resulted from the explosion of collected, stored, and transferred data, Knowledge Discovery in Databases or Data Mining has emerged as a new research...
Rudolf Kruse, Christian Borgelt, Detlef Nauck
AAAI
2008
13 years 11 months ago
A Formalization of Program Debugging in the Situation Calculus
Program debugging is one of the most time-consuming parts of the software development cycle. In recent years, automatic debugging has been an active research area in software engi...
Yongmei Liu