1492 search results - page 298 / 299 » Testing Properties of Constraint-Graphs |
165
Voted
IPPS
2010
IEEE
15 years 16 days ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
126
Voted
OOPSLA
2010
Springer
15 years 15 days ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
132
Voted
USS
2010
15 years 14 days ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
143
Voted
BMCBI
2010
15 years 1 days ago
2010
Background: The Gene Ontology (GO) is a well known controlled vocabulary describing the biological process, molecular function and cellular component aspects of gene annotation. I...
132
Voted
CORR
2010
Springer
15 years 7 hour ago
2010
Springer
In a previous work we introduced slice graphs as a way to specify both infinite languages of directed acyclic graphs (DAGs) and infinite languages of partial orders. Therein we fo...