Sciweavers

817 search results - page 77 / 164
» On 2-factors with k components
Sort
View
DATE
2003
IEEE
81views Hardware» more  DATE 2003»
15 years 11 months ago
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations
Given a plant Å and a specification Å , the largest solution of the FSM equation Å ¯ Å Å contains all possible discrete controllers Å . Often we are interested in computin...
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton...
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
15 years 11 months ago
Science Investigation System for Telescopes in Education Research
The Virtual Telescopes in Education (VTIE) project, is providing tools for teaching astronomy in K-12 classrooms using remotely controlled telescopes. VTIE's main goal to pro...
Susan Hoban, John G. Keating, Joel Sachs, Daniel L...
ISCAS
2003
IEEE
123views Hardware» more  ISCAS 2003»
15 years 11 months ago
Fast prototyping of reconfigurable architectures from a C program
Rapid evaluation and design space exploration at the algorithmic level are important issues in the design cycle. In this paper we propose an original area vs delay estimation meth...
Sebastien Bilavarn, Guy Gogniat, Jean Luc Philippe...
ICDCSW
2002
IEEE
15 years 11 months ago
Separating Introspection and Intercession to Support Metamorphic Distributed Systems
Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the a...
Eric P. Kasten, Philip K. McKinley, Seyed Masoud S...
JSSPP
2001
Springer
15 years 10 months ago
Core Algorithms of the Maui Scheduler
The Maui scheduler has received wide acceptance in the HPC community as a highly configurable and effective batch scheduler. It is currently in use on hundreds of SP, O2K, and Li...
David B. Jackson, Quinn Snell, Mark J. Clement