[1] Jingjing Liu and Xiayang Shi, Existence of three solutions for a class of quasilinear elliptic systems involving the (p(x), q(x))-Laplacian, Nonli...
分类：
其他好文 时间：
2014-09-14 10:07:16
阅读次数：
211
SRC=Microprocessor Based Systems SRC=Computer Architecture: A Quantitative Approach
分类：
其他好文 时间：
2014-09-11 23:48:52
阅读次数：
279
Some operating systems include the command interpreter in the kernel. Others,such as Windows and UNIX, treat the command interpreter as a special prog...
分类：
其他好文 时间：
2014-09-10 17:17:10
阅读次数：
210
Embodiments of the invention are generally directed to systems, methods, and apparatuses for linear to physical address translation with support forpa...
分类：
其他好文 时间：
2014-09-09 11:16:58
阅读次数：
374
添加用户时不小心修改了/etc/sudoers 权限，结果不能sudo了，Ubuntu默认关闭root帐户，结果傻X了，无法改回了。方法如下：1、重启机器，开机按ESC，进入恢复模式2、此时，磁盘为read only模式，选择fsck checkall file systems,重挂所有盘，一路回车...
分类：
其他好文 时间：
2014-09-08 00:58:16
阅读次数：
335
1.关于PDF文件 PDF（Portable Document Format的简称，意为“便携式文件格式”）是由Adobe Systems在1993年用于文件交换所发展出的文件格式。它的优点在于跨平台、能保留文件原有格式（Layout）、开放标准，能自由授权（Royalty-free）自由开发PDF...
分类：
其他好文 时间：
2014-09-06 17:14:43
阅读次数：
221
In particular, Microsoft® instituted a device driver certification process for itsWindows® desktop and server operating systems to ensure the drivers ...
Hash在信息学竞赛中的一类应用中的某道例题"不难想到的算法是使用两个字符串分别表示两棵树，但是如果使用Hash的话应该怎么做呢？可以使用一种类似树状递推的方法来计算Hash值：对于一个节点v，先求出它所有儿子节点的Hash值，并从小到大排序，记作H1，H2，?，HD。那么v的Hash值就可以计算为...
分类：
其他好文 时间：
2014-09-02 22:34:55
阅读次数：
235
Introduction to "procfs"
Introduction from wiki:
procfs (or
the proc filesystem) is a special filesystem in UNIX-like operating
systems that presents information about proces...
分类：
其他好文 时间：
2014-09-01 17:45:43
阅读次数：
274
本文译至：http://sel4.systems/CAmkES/About.pml
关于CAmkES
CAmkES是面向seL4的一个基于组件的软件平台。它提供了一个软件开发和运行时平台，允许开发人员设计基于seL4的系统作为交互组件的集合。
动机
基于微内核的多服务器操作系统被设计成一个保护和分离服务的集合，服务之间通过进程间通信机制进行通信。由于这些服务是由内核和硬件...
分类：
其他好文 时间：
2014-08-31 15:50:41
阅读次数：
526
