3104 search results - page 510 / 621 » A High Performance Kernel-Less Operating System Architecture |
ISN
1999
Springer
15 years 2 months ago
1999
Springer
The ACTS FlowThru project aims to build a management system which supports the flow of management information across organisational and technological domains by reusing components ...
149
click to vote
VLDB
1998
ACM
14 years 9 months ago
1998
ACM
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
ECBS
2007
IEEE
15 years 1 months ago
2007
IEEE
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
100
click to vote
USENIX
2001
14 years 11 months ago
2001
The rapid growth of the Internet has made IP addresses a scarce resource. To get around this problem, today and in the foreseeable future, networks will be deployed with reusable-...