1528 search results - page 135 / 306 » Performance Assertion Checking |
108
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
UML sequence diagrams are widely used during requirements analysis and design for specifying the expected message exchanges among a set of objects in various scenarios for the pro...
136
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...
LREC
2010
15 years 3 months ago
2010
Many NLP applications need fundamental tools to convert the input text into appropriate form or format and extract the primary linguistic knowledge of words and sentences. These t...
118
click to vote
TACAS
2010
Springer
15 years 10 days ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
145
click to vote
IPPS
2010
IEEE
15 years 11 days ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...