1432 search results - page 130 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
160
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
137
Voted
VL
2005
IEEE
15 years 9 months ago
2005
IEEE
On one hand, visual modeling languages are often used today in engineering domains, Mathworks’ Simulink/Stateflow for simulation, signal processing and controls being the prime ...
133
Voted
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
Functional full-system simulators are powerful and versatile research tools for accelerating architectural exploration and advanced software development. Their main shortcoming is...
129
Voted
SCAM
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a quantitative approach for IT portfolio management. This is an approach that CMM level 1 organizations can use to obtain a corporate wide impression of the state of th...
140
click to vote
MLDM
2009
Springer
15 years 8 months ago
2009
Springer
The induction of knowledge from a data set relies in the execution of multiple data mining actions: to apply filters to clean and select the data, to train different algorithms (...