Sciweavers

3602 search results - page 59 / 721
» Isn't It About Time
Sort
View
105
Voted
ASYNC
2000
IEEE
86views Hardware» more  ASYNC 2000»
15 years 5 months ago
An On-Chip Dynamically Recalibrated Delay Line for Embedded Self-Timed Systems
Self-timed systems often have to communicate with their environment through a clocked interface. For example, off-chip memory may require clocking and this can reduce the benefit...
George S. Taylor, Simon W. Moore, Steve Wilcox, Pe...
98
Voted
ISORC
2000
IEEE
15 years 5 months ago
Scheduling Solutions for Supporting Dependable Real-Time Applications
This paper deals with tolerance to timing faults in time-constrained systems. TAFT (Time Aware Fault-Tolerant) is a recently devised approach which applies tolerance to timing vio...
F. Sandrini, Felicita Di Giandomenico, Andrea Bond...
105
Voted
FORTE
2001
15 years 2 months ago
A Family of Resource-Bound Real-Time Process Algebras
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
119
Voted
TWC
2008
159views more  TWC 2008»
15 years 29 days ago
Hierarchical Space-Time Block Code Recognition Using Correlation Matrices
The blind recognition of communication parameters is a key research issue for commercial and military communication systems. The results of numerous investigations about symbol tim...
Vincent Choqueuse, Koffi Yao, Ludovic Collin, Gill...
112
Voted
JCST
2010
189views more  JCST 2010»
14 years 8 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar