Sciweavers

1640 search results - page 16 / 328
» Design of Synchronous Action Systems
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
13 years 11 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
COBUILD
1999
Springer
13 years 11 months ago
Complex Construction Kits for Coupled Real and Virtual Engineering Workspaces
A concept of complex objects, being artifacts that have one real physical part and several virtual parts representing certain aspects of the object, is introduced. These parts are ...
Wilhelm F. Bruns
ENTCS
2006
139views more  ENTCS 2006»
13 years 7 months ago
Goto and Concurrency Introducing Safe Jumps in Esterel
Esterel is a design language for the specification of real time embedded systems. Based on the synchronous concurrency paradigm, its semantics describes execution
Olivier Tardieu
ICASSP
2011
IEEE
12 years 11 months ago
Optimum chip pulse shape design for timing synchronization
In this work a systematic methodology is presented to design optimum chip pulse shapes for DS-CDMA systems for timing synchronization. A nonlinear bi-objective problem with additi...
Felix Antreich, Josef A. Nossek
DEXAW
2003
IEEE
122views Database» more  DEXAW 2003»
14 years 23 days ago
A Framework for Self-Optimizing Grids Using P2P Components
We present the framework of a new grid architecture based on the peer-to-peer and the component paradigms. In our architecture, several peer-to-peer components are loosely coupled...
Florian Schintke, Thorsten Schütt, Alexander ...