Sciweavers

1850 search results - page 235 / 370
» Design-for-debugging of application specific designs
Sort
View
ENVSOFT
2011
134views more  ENVSOFT 2011»
13 years 4 months ago
Modelling and simulation of a jet fan for controlled air flow in large enclosures
Jet fans are applied for control of air flow and support of pollutant dispersal in large enclosures. In The Netherlands, application is well known for car parks as part of the fir...
B. J. M. v. d. Giesen, S. H. A. Penders, M. G. L. ...
SAC
2006
ACM
13 years 10 months ago
A domain-specific language for task handlers generation, applying discrete controller synthesis
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
Gwenaël Delaval, Éric Rutten
INFSOF
2008
118views more  INFSOF 2008»
13 years 10 months ago
MARS: A metamodel recovery system using grammar inference
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
Faizan Javed, Marjan Mernik, Jeff Gray, Barrett R....
DAIS
2009
13 years 11 months ago
A Reflective Middleware to Support Peer-to-Peer Overlay Adaptation
As peer-to-peer systems are evolving from simplistic application specific overlays to middleware platforms hosting a range of potential applications it has become evident that incr...
Gareth Tyson, Paul Grace, Andreas Mauthe, Gordon S...
CONCUR
2010
Springer
13 years 11 months ago
A Theory of Design-by-Contract for Distributed Multiparty Interactions
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Y...