Sciweavers

5961 search results - page 284 / 1193
» Design Science and Software Engineering
Sort
View
CODES
2000
IEEE
15 years 11 months ago
Parameterized system design
Continued growth in chip capacity has led to new methodologies stressing reuse, not only of pre-designed processing components, but even of entire pre-designed architectures. To b...
Tony Givargis, Frank Vahid
IWSSD
2000
IEEE
15 years 11 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
KBSE
2000
IEEE
15 years 11 months ago
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
Sarfraz Khurshid, Daniel Jackson
CODES
2001
IEEE
15 years 10 months ago
Evaluating register file size in ASIP design
Interest in synthesis of Application Specific Instruction Set Processors or ASIPs has increased considerably and a number of methodologies have been proposed for ASIP design. A ke...
Manoj Kumar Jain, Lars Wehmeyer, Stefan Steinke, P...
TASE
2008
IEEE
15 years 6 months ago
Design of Stochastic Distribution Networks Using Lagrangian Relaxation
This paper addresses the design of single commodity stochastic distribution networks. The distribution network under consideration consists of a single supplier serving a set of re...
Guy-Aimé Tanonkou, Lyès Benyoucef, X...