2278 search results - page 40 / 456 » Specification Techniques for Automatic Performance Analysis ... |
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...
167
click to vote
POPL
2005
ACM
15 years 10 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
CODES
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper introduces a flexible code generation framework dedicated to the design of application specific programmable processors. This tool allows the user to build specific com...
BMCBI
2008
14 years 9 months ago
2008
Background: It is useful to develop a tool that would effectively describe protein mutation matrices specifically geared towards the identification of mutations that produce eithe...