Sciweavers

2392 search results - page 308 / 479
» informs 2000
Sort
View
JISE
2000
68views more  JISE 2000»
15 years 4 months ago
Testable Path Delay Fault Cover for Sequential Circuits
We present an algorithm for identifyinga set of faults that do not have to be targeted by a sequential delay fault test generator. These faults either cannot independently aect th...
Angela Krstic, Srimat T. Chakradhar, Kwang-Ting Ch...
JNSM
2000
78views more  JNSM 2000»
15 years 4 months ago
A Framework and Lightweight Protocol for Multimedia Network Management
The increasing complexities of modern networks coupled with the popularity of multimedia applications have placed higher demands on network managers. This paper reviews the main r...
Jairo A. Gutiérrez, Don Sheridan, R. Radhak...
JSS
2000
83views more  JSS 2000»
15 years 4 months ago
Module interconnection features in object-oriented development tools
The black-box reuse of library classes in the construction of an object-oriented (OO) application is dicult: the principle of information hiding may be violated if classes must kn...
Sergio E. R. de Carvalho, Julio Cesar Sampaio do P...
198
Voted
LISP
2000
408views more  LISP 2000»
15 years 4 months ago
Fundamental Concepts in Programming Languages
This paper forms the substance of a course of lectures given at the International Summer School in Computer Programming at Copenhagen in August, 1967. The lectures were originally ...
Christopher Strachey
LOBJET
2000
84views more  LOBJET 2000»
15 years 4 months ago
Typing Concurrent Objects and Actors
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
Fabien Dagnat, Marc Pantel, Matthias Colin, Patric...