967 search results - page 113 / 194 » Languages and Tools for Hybrid Systems Design |
155
click to vote
LCPC
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
191
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...
206
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
212
click to vote
CSCW
2011
ACM
15 years 28 days ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
199
click to vote
PRDC
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...