Sciweavers

2377 search results - page 163 / 476
» Hybrid Systems in TLA
Sort
View
FPGA
1999
ACM
130views FPGA» more  FPGA 1999»
15 years 10 months ago
Hybrid Product Term and LUT Based Architectures Using Embedded Memory Blocks
The Embedded System Block (ESB) of the APEX20K programmable logic device family from Altera Corporation includes the capability of implementing product term macrocells in addition...
Frank Heile, Andrew Leaver
ACL
2010
15 years 4 months ago
A Hybrid Rule/Model-Based Finite-State Framework for Normalizing SMS Messages
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
Richard Beaufort, Sophie Roekhaut, Louise-Am&eacut...
HYBRID
2009
Springer
15 years 10 months ago
Specification and Analysis of Network Resource Requirements of Control Systems
We focus on control systems in which sensors send data to actuators via a bus shared with other applications. An approach is proposed for specifying and implementing dynamic schedu...
Gera Weiss, Sebastian Fischmeister, Madhukar Anand...
HYBRID
1992
Springer
15 years 10 months ago
A Formal Approach to Computer Systems Requirements Documentation
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
Marcin Engel, Marcin Kubica, Jan Madey, David Lorg...
AINA
2006
IEEE
16 years 17 days ago
HyMoNet: a peer-to-peer hybrid multicast overlay network for efficient live media streaming
This paper presents HyMoNet, a peer-to-peer hybrid multicast overlay network for efficient live media streaming. The system comprises two parts: service infrastructure and user sp...
Bin Chang, Yuanchun Shi, Nan Zhang