1222 search results - page 168 / 245 » Verifying a File System Implementation |
100
click to vote
ISCAS
2002
IEEE
15 years 7 months ago
2002
IEEE
A variation of the differential steepest descent algorithm, here called the dithered linear search (DLS), is examined and applied to analog filter adaptation. The DLS algorithm is...
132
click to vote
ISPAN
1999
IEEE
15 years 6 months ago
1999
IEEE
For an effective Internet-based distributed parallel computing platform, Java-Internet Computing Environment (JICE) is designed and implemented with multithreading and remote meth...
ICMCS
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...
121
click to vote
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
102
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Traditionally, the various semantics of the process algebra Csp are formulated in denotational style. For many Csp models, e.g., the traces model, equivalent semantics have been gi...