5387 search results - page 78 / 1078 » Generating generic functions |
97
Voted
CHINZ
2005
ACM
15 years 2 months ago
2005
ACM
In this paper, we describe the design philosophy, implementation and evaluation of InkKit, an informal design platform that uses pen input on a tablet PC to imitate the informalit...
218
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
152
Voted
WEA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract We report on experiments with turning the branch-price-andcut framework SCIP into a generic branch-price-and-cut solver. That is, given a mixed integer program (MIP), our ...
86
Voted
NDSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Application-level protocol analyzers are important components in tools such as intrusion detection systems, firewalls, and network monitors. Currently, protocol analyzers are wri...
110
Voted
SIGCOMM
2010
ACM
15 years 26 days ago
2010
ACM
Data center networks encode locality and topology information into their server and switch addresses for performance and routing purposes. For this reason, the traditional address...