1456 search results - page 204 / 292 » DYANA: An Environment for Embedded System Design and Analysi... |
198
click to vote
SNPD
2008
15 years 7 months ago
2008
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
206
click to vote
MEMOCODE
2008
IEEE
16 years 23 days ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
169
click to vote
NC
2008
15 years 6 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
166
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
As the Web provides rich data embedded in the immense contents inside pages, we witness many ad-hoc efforts for exploiting fine granularity information across Web text, such as We...
167
click to vote
SIGGRAPH
1993
ACM
15 years 10 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...