Sciweavers

493 search results - page 59 / 99
» Final exam scheduler - FES
Sort
View
CSFW
2003
IEEE
15 years 3 months ago
Probabilistic Noninterference through Weak Probabilistic Bisimulation
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
Geoffrey Smith
IPPS
1999
IEEE
15 years 2 months ago
The Computational Co-op: Gathering Clusters into a Metacomputer
We explore the creation of a metacomputer by the aggregation of independent sites. Joining a metacomputer is voluntary, and hence it has to be an endeavor that mutually benefits a...
Walfredo Cirne, Keith Marzullo
RSP
1999
IEEE
125views Control Systems» more  RSP 1999»
15 years 2 months ago
Extended Synchronous Dataflow for Efficient DSP System Prototyping
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
Chanik Park, JaeWoong Chung, Soonhoi Ha
ICCAD
1997
IEEE
106views Hardware» more  ICCAD 1997»
15 years 1 months ago
BIST TPG for faults in system backplanes
A built-in self-test (BIST) methodology to test system backplanes by using BIST functionality in each of its constituent boards is presented. Since the configurations of systems ...
Chen-Huan Chiang, Sandeep K. Gupta
ICMCS
1994
IEEE
147views Multimedia» more  ICMCS 1994»
15 years 1 months ago
Supporting Temporal Multimedia Operations in Object-Oriented Database Systems
Advanced applications in fields like electronic publishing and telecooperation face the problem of handling multimedia information. Conventional database systems do not offer adeq...
Karl Aberer, Wolfgang Klas