3130 search results - page 153 / 626 » Design Correctness of Digital Systems |
149
click to vote
VLSID
2009
IEEE
16 years 4 months ago
2009
IEEE
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
284
Voted
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
137
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Security design at architecture level is critical to achieve high assurance software systems. However, most security design techniques for software architectures were in ad hoc fa...
130
Voted
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Object-oriented programming, design patterns, and frameworks are common techniques that have been used to reduce the complexity of sequential programming. We have applied these te...
151
Voted
ISIM
2007
15 years 5 months ago
2007
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...