675 search results - page 126 / 135 » A Constraint-Driven Executable Model of Dynamic System Recon... |
111
click to vote
DEDS
2000
14 years 9 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
96
Voted
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
102
click to vote
EMSOFT
2004
Springer
15 years 2 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
ICA3PP
2005
Springer
15 years 3 months ago
2005
Springer
In the present work we describe architectural concepts of the distributed molecular simulation package GridMD. The main purpose of this work is to underline the construction patter...