3565 search results - page 338 / 713 » Modeling a system controller for timing analysis |
184
click to vote
VLSID
2005
IEEE
16 years 5 months ago
2005
IEEE
Abstract--Power analysis early in the design cycle is critical for the design of lowpower systems. With the move to system-level specifications and design methodologies, there has ...
134
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
125
click to vote
ACMACE
2005
ACM
15 years 10 months ago
2005
ACM
In conventional, visual narrative media such as film, the placement and movement of the camera can be as important a device as the events of the narrative in conveying story and m...
142
Voted
IFIP13
2004
15 years 6 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
128
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...