Sciweavers

5268 search results - page 241 / 1054
» Analysis of Design Process Dynamics
Sort
View
141
Voted
MSV
2004
15 years 5 months ago
Design and Implementation of a Workflow Rendering Engine
Business visualization is an effective tool for business decision making and problem solving. Despite its obvious benefits, 3D visualization is far less common in practice than it...
Jason A. Pamplin, Ying Zhu
DSVIS
1998
Springer
15 years 8 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
99
Voted
ICTAI
2009
IEEE
15 years 10 months ago
Learning for Dynamic Subsumption
This paper presents an original dynamic subsumption technique for Boolean CNF formulae. It exploits simple and sufficient conditions to detect, during conflict analysis, clauses...
Youssef Hamadi, Saïd Jabbour, Lakhdar Sais
IPPS
2007
IEEE
15 years 10 months ago
A Reconfigurable Load Balancing Architecture for Molecular Dynamics
This paper proposes a novel architecture supporting dynamic load balancing on an FPGA for a Molecular Dynamics algorithm. Load balancing is primarily achieved through the use of s...
Jonathan Phillips, Matthew Areno, Chris Rogers, Ar...
WSC
1998
15 years 5 months ago
Informational Macrodynamics: System Modelling and Simulation Methodologies
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
Vladimir S. Lerner