1448 search results - page 89 / 290 » From Requirements to Code Revisited |
130
click to vote
ICS
2001
Tsinghua U.
15 years 8 months ago
2001
Tsinghua U.
Application performance tuning is a complex process that requires assembling various types of information and correlating it with source code to pinpoint the causes of performance...
151
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
146
Voted
DOCENG
2010
ACM
15 years 4 months ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
118
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract—We initiate the probabilistic analysis of linear programming (LP) decoding of low-density parity-check (LDPC) codes. Specifically, we show that for a random LDPC code e...
142
Voted
ECEASST
2008
15 years 3 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...