232 search results - page 17 / 47 » Asynchronous programming, analysis and testing with state ma... |
104
click to vote
ISSRE
2000
IEEE
15 years 2 months ago
2000
IEEE
The emphasis in object-oriented programs is on defining abstractions that have both state and behavior. This emphasis causes a shift in focus from software units to the way softw...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
The Support Vector Machine (SVM) methodology is an effective, supervised, machine learning method that gives stateof-the-art performance for brain state classification from funct...
ASE
1999
14 years 9 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
102
click to vote
ILP
2007
Springer
15 years 3 months ago
2007
Springer
Structural Statistical Software Testing (SSST) exploits the control flow graph of the program being tested to construct test cases. Specifically, SSST exploits the feasible paths...
POPL
2000
ACM
15 years 1 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...