Sciweavers

1058 search results - page 7 / 212
» Using Different Representations of Synchronous Systems in SA...
Sort
View
SAS
1999
Springer
15 years 10 months ago
Polyhedral Analysis for Synchronous Languages
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
Frédéric Besson, Thomas P. Jensen, J...
ASSETS
2008
ACM
15 years 8 months ago
Creating and evaluating a video vocabulary for communicating verbs for different age groups
Icons and digital images used in augmentative and alternative communication (AAC) are not as effective in illustrating verbs, especially for people with cognitive degeneration or ...
Xiaojuan Ma, Perry R. Cook
PIMRC
2008
IEEE
16 years 17 days ago
Distributed digital locked loops for time/frequency locking in packet-based wireless communication
— In infrastructure-less wireless systems network-wise time and frequency synchronization can be achieved by exchanging mutual synchronization errors among neighboring nodes. Coo...
Umberto Spagnolini, Nicola Varanese, Osvaldo Simeo...
ADBIS
2006
Springer
118views Database» more  ADBIS 2006»
16 years 5 days ago
Computational Database Technology Applied to Option Pricing Via Finite Differences
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
Jöns Åkerlund, Krister Åhlander, ...
RSP
1999
IEEE
125views Control Systems» more  RSP 1999»
15 years 10 months ago
Extended Synchronous Dataflow for Efficient DSP System Prototyping
Though synchronous dataflow (SDF) graph has been a successful input specification language for digital signal processing (DSP) applications, lack of support for global states makes...
Chanik Park, JaeWoong Chung, Soonhoi Ha