Sciweavers

3958 search results - page 619 / 792
» Dynamic Graph Algorithms with Applications
Sort
View
110
Voted
ECSQARU
1997
Springer
15 years 6 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...
129
Voted
CCGRID
2009
IEEE
15 years 6 months ago
Energy-Efficient Cluster Computing via Accurate Workload Characterization
This paper presents an eco-friendly daemon that reduces power and energy consumption while better maintaining high performance via an accurate workload characterization that infer...
S. Huang, W. Feng
110
Voted
AIMSA
2006
Springer
15 years 6 months ago
A Knowledge-Based Approach for Automatic Generation of Summaries of Behavior
Effective automatic summarization usually requires simulating asoning such as abstraction or relevance reasoning. In this paper we describe a solution for this type of reasoning in...
Martín Molina, Victor Flores
119
Voted
CODES
2004
IEEE
15 years 6 months 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...
117
Voted
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 6 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...