1564 search results - page 50 / 313 » Tool Support for Architectural Decisions |
136
click to vote
MJ
2006
15 years 5 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
141
click to vote
CSCW
2012
ACM
14 years 1 months ago
2012
ACM
Although the Web enables large-scale collaboration, its potential to support group decision-making has not been fully exploited. My research aims to analyze, extract, and represen...
184
click to vote
EUROMICRO
2009
IEEE
15 years 9 months ago
2009
IEEE
Runtime quality of software, such as availability and throughput, depends on architectural factors and execution environment characteristics (e.g. CPU speed, network latency). Alth...
142
click to vote
INFORMATICALT
2006
15 years 5 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
173
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
— Architecture Description Languages (ADLs) are widely used to perform design space exploration for Application Specific Instruction Set Processors (ASIPs). While the design spa...