487 search results - page 82 / 98 » Implementation Correctness of a Real-Time Operating System |
CII
2006
13 years 9 months ago
2006
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
FAST
2007
13 years 10 months ago
2007
Data ONTAP GX is a clustered Network Attached File server composed of a number of cooperating filers. Each filer manages its own local file system, which consists of a number of d...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
We introduce a stochastic model that describes the quasistatic dynamics of an electric transmission network under perturbations introduced by random load fluctuations, random rem...
LISA
2007
13 years 11 months ago
2007
Packet filtering firewall is one of the most important mechanisms used by corporations to enforce their security policy. Recent years have seen a lot of research in the area of ...
IWMM
2009
Springer
14 years 3 months ago
2009
Springer
: © Garbage Collection in the Next C++ Standard Hans-J. Boehm, Mike Spertus HP Laboratories HPL-2009-360 C++, garbage collection C++ has traditionally relied on manual memory mana...