Sciweavers

398 search results - page 38 / 80
» Spider Diagrams of Order
Sort
View
JUCS
2010
143views more  JUCS 2010»
13 years 8 months ago
Design of Arbiters and Allocators Based on Multi-Terminal BDDs
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...
Václav Dvorák, Petr Mikusek
JUCS
2010
93views more  JUCS 2010»
13 years 4 months ago
Refinement and Extension of SMDM, a Method for Defining Valid Measures
: Although literature contains a huge amount of measures for measuring quality characteristics of software artifacts throughout the development life-cycle, the majority go no furth...
Luis Reynoso, Marcela Genero, Mario Piattini
CPAIOR
2011
Springer
13 years 1 months ago
Manipulating MDD Relaxations for Combinatorial Optimization
Abstract. We study the application of limited-width MDDs (multivalued decision diagrams) as discrete relaxations for combinatorial optimization problems. These relaxations are used...
David Bergman, Willem Jan van Hoeve, John N. Hooke...
ECMDAFA
2009
Springer
170views Hardware» more  ECMDAFA 2009»
14 years 4 months ago
A Model Driven Approach to the Analysis of Timeliness Properties
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
DIAGRAMS
2004
Springer
14 years 3 months ago
Predictors of Success in Diagrammatic Problem Solving
Abstract. We conducted an eye-tracking study of mechanical problem solving from cross-sectional diagrams of devices. Response time, accuracy and eye movement data were collected an...
Daesub Yoon, N. Hari Narayanan