136 search results - page 26 / 28 » A Learning-Based Approach to Unit Testing of Numerical Softw... |
ANCS
2008
ACM
13 years 8 months ago
2008
ACM
Today's routers need to perform packet classification at wire speed in order to provide critical services such as traffic billing, priority routing and blocking unwanted Inte...
ATAL
2011
Springer
12 years 6 months ago
2011
Springer
Building on research previously reported at AAMAS conferences, this paper describes an innovative application of a novel gametheoretic approach for a national scale security deplo...
ICSE
2012
IEEE-ACM
11 years 9 months ago
2012
IEEE-ACM
—Given limited resource and time before software release, development-site testing and debugging become more and more insufficient to ensure satisfactory software performance. As...
CIKM
2008
Springer
13 years 8 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
SIGSOFT
2007
ACM
14 years 7 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...