2702 search results - page 75 / 541 » Practically Applicable Formal Methods |
CLEIEJ
2006
14 years 10 months ago
2006
This paper explores the possibility for software companies of getting a CMMI certification of their processes by applying agile practices. For this purpose, starting with CMMI mat...
ACL
2010
14 years 8 months ago
2010
Letter-substitution ciphers encode a document from a known or hypothesized language into an unknown writing system or an unknown encoding of a known writing system. It is a proble...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— Application of Discrete Multi-tone (DMT) signaling to high-speed backplane interconnects requires major modifications to the well-known analysis methods applied to wireline com...
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
Recent research on Internet traffic classification algorithms has yielded a flurry of proposed approaches for distinguishing types of traffic, but no systematic comparison of the ...
FMCAD
2007
Springer
15 years 1 months ago
2007
Springer
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...