764 search results - page 141 / 153 » Software product line testing |
AC
2003
Springer
14 years 19 days ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
We present SwitchBlade, a platform for rapidly deploying custom protocols on programmable hardware. SwitchBlade uses a pipeline-based design that allows individual hardware module...
ICSE
2012
IEEE-ACM
11 years 9 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...
SIGIR
2011
ACM
12 years 10 months ago
2011
ACM
Searching is inherently an interactive process usually requiring numerous iterations of querying and assessing in order to find the desired amount of relevant information. Essent...
EUROSYS
2010
ACM
14 years 4 months ago
2010
ACM
Modern Byzantine fault-tolerant state machine replication (BFT) protocols involve about 20.000 lines of challenging C++ code encompassing synchronization, networking and cryptogra...