Sciweavers

543 search results - page 63 / 109
» A Structured Methodology for System-on-an-FPGA Design
Sort
View
EOR
2007
90views more  EOR 2007»
14 years 11 months ago
Tabu search and GRASP for the maximum diversity problem
In this paper, we develop new heuristic procedures for the maximum diversity problem (MDP). This NPhard problem has a significant number of practical applications such as environm...
Abraham Duarte, Rafael Martí
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 9 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
ICSM
1999
IEEE
15 years 3 months ago
Criteria for Testing Exception-Handling Constructs in Java Programs
Exception-handling constructs provide a mechanism for raising exceptions, and a facility for designating protected code by attaching exception handlers to blocks of code. Despite ...
Saurabh Sinha, Mary Jean Harrold
MICRO
1993
IEEE
127views Hardware» more  MICRO 1993»
15 years 3 months ago
An extended classification of inter-instruction dependency and its application in automatic synthesis of pipelined processors
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...
Ing-Jer Huang, Alvin M. Despain
IJCAI
1993
15 years 14 days ago
An Approach to Analyzing the Need for Meta-Level Communication
This paper presents an analysis of static and dynamic organizational structures for naturally distributed, homogeneous, cooperative problem solving environments, exemplified by di...
Keith Decker, Victor R. Lesser