Sciweavers

4463 search results - page 463 / 893
» computing 2000
Sort
View
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
15 years 11 months ago
MASCOT: A Specification and Cosimulation Method Integrating Data and Control Flow
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
Per Bjuréus, Axel Jantsch
HPDC
2000
IEEE
15 years 11 months ago
Distributed Processor Allocation in Large PC Clusters
Current processor allocation techniques for highly parallel systems are based on centralized front-end based algorithms. As a result, the applied strategies are restricted to stat...
Hans-Ulrich Heiss, César A. F. De Rose, Phi...
BIRTHDAY
2010
Springer
15 years 7 months ago
Automated Proofs for Asymmetric Encryption
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
Judicaël Courant, Marion Daubignard, Cristian...
GC
2010
Springer
15 years 5 months ago
The b-Chromatic Number of Cubic Graphs
The b-chromatic number of a graph G is the largest integer k such that G admits a proper k-coloring in which every color class contains at least one vertex adjacent to some vertex...
Marko Jakovac, Sandi Klavzar
ECCV
2000
Springer
16 years 8 months ago
A Probabilistic Background Model for Tracking
A new probabilistic background model based on a Hidden Markov Model is presented. The hidden states of the model enable discrimination between foreground, background and shadow. Th...
Jens Rittscher, Jien Kato, Sébastien Joga, ...