Sciweavers

766 search results - page 57 / 154
» Synthesis of Synchronous Interfaces
Sort
View
ENTCS
2008
70views more  ENTCS 2008»
13 years 8 months ago
Separate Compilation of Polychronous Specifications
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
Julien Ouy, Jean-Pierre Talpin, Loïc Besnard,...
MC
2008
145views Computer Science» more  MC 2008»
13 years 10 months ago
Graspable Work Modeling
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
Stefan Oppl
FCCM
2007
IEEE
108views VLSI» more  FCCM 2007»
14 years 3 months ago
Configurable Transactional Memory
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
Christoforos Kachris, Chidamber Kulkarni
ICCAD
1999
IEEE
97views Hardware» more  ICCAD 1999»
14 years 1 months ago
A methodology for correct-by-construction latency insensitive design
In Deep Sub-Micron (DSM) designs, performance will depend critically on the latency of long wires. We propose a new synthesis methodology for synchronous systems that makes the de...
Luca P. Carloni, Kenneth L. McMillan, Alexander Sa...
ISMIR
2004
Springer
114views Music» more  ISMIR 2004»
14 years 2 months ago
CsoundXML: a meta-language in XML for sound synthesis
The software sound synthesis is closely related to the Music N programs started with Music I in 1957. Although Music N has many advantages such as unit generators and a flexible ...
Pedro Kröger