标签: reference-implementation

对于在不同设备上运行的代码,我需要确定在这些设备之间发送的消息的顺序.因此,我想使用矢量时钟,因为我读取矢量时钟允许事件的排序.

我可以使用任何已建立的框架/公共API吗？或参考实现=或者我是否必须从头开始编码？

感谢您的任何参考和提示

一个简单的问题:是否有一个很好的参考实现,使用ASP.NET MVC与ORM,ViewModels和EditModels(理想情况下使用Automapper)？

我理解使用这些特定于特定目标的模型的好处,但对我到目前为止使用这些代码所编写的代码的结果并不太满意.一个简单的参考应用程序,展示了如何以及在MVC工作流程中应用这些方面将会很棒.

Java有一个参考实现.

ISO-Prolog是否有参考实施？

我确实有INCITS/ISO/IEC 13211-1:1995(R 2007),因此无需提出建议.

编辑

值得注意的是:符合性评估I:语法

有谁知道有一个好的程序可以将每个子句包含任意数量变量的 CNF 文件转换为每个子句包含 3 个变量的 CNF 文件 (3-CNF)？我在计算机科学书籍中看到过这个算法，但在任何地方都找不到实现，如果其他人已经这样做了，我不想浪费时间自己实现它。谢谢！

在我学习一些微观性能技术的同时,我在array.cs文件中遇到了.net框架中对二进制搜索函数的外部引用.

private static extern bool TrySZBinarySearch(Array sourceArray, int sourceIndex, int count, Object value, out int retVal); 

我在哪里可以找到此功能的文档？或者更好,它是如何实现的？为什么.net中有这么多SZ？

private static extern bool TrySZIndexOf(Array sourceArray, int sourceIndex, int count, Object value, out int retVal); 

private static extern bool TrySZLastIndexOf(Array sourceArray, int sourceIndex, int count, Object value, out int retVal);

sealed class SZArrayHelper { ... }

等等