Sciweavers

3365 search results - page 108 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
HYBRID
2004
Springer
15 years 10 months ago
Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems
Abstract. In this paper we present algorithms and tools for fast and efficient reachability analysis, applicable to continuous and hybrid systems. Most of the work on reachability ...
Amit Bhatia, Emilio Frazzoli
ISVLSI
2002
IEEE
89views VLSI» more  ISVLSI 2002»
15 years 9 months ago
Speedup of Self-Timed Digital Systems Using Early Completion
An Early Completion technique is developed to significantly increase the throughput of NULL Convention self-timed digital systems without impacting latency or compromising their s...
Scott C. Smith
ICDIM
2008
IEEE
15 years 11 months ago
A model driven approach to the design and implementing of fault tolerant Service oriented Architectures
One of the key stages of the development of a fault tolerant Service oriented Architecture is the creation of Diagnosers, which monitors the system’s behaviour to identify the o...
Mohammed Alodib, Behzad Bordbar, Basim Majeed
ITS
2004
Springer
103views Multimedia» more  ITS 2004»
15 years 10 months ago
RMT: A Dialog-Based Research Methods Tutor With or Without a Head
RMT (Research Methods Tutor) is a dialog-based tutoring system that has a dual role. Its modular architecture enables the interchange and evaluation of different tools and techniq...
Peter M. Wiemer-Hastings, David Allbritton, Elizab...
HT
2005
ACM
15 years 10 months ago
Analyzing history in hypermedia collections
This paper describes a method to analyze the history of hypermedia collections. We gathered information about documents using the Internet Archive’s Wayback Machine. Analysis fo...
Paul Davis, Alexey Maslov, Scott Phillips