1163 search results - page 185 / 233 » Case Studies of Model Checking for Embedded System Designs |
152
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
Since the deployment of real-time sensitive applications in the Internet, the research community has been struggling to leverage the IP best-effort networks for providing QoS assu...
116
click to vote
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
When modifying or debugging a software system, among other tasks, developers must often understand and manipulate source code that crosscuts the system’s structure. These tasks ...
134
click to vote
CASES
2007
ACM
15 years 6 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
138
click to vote
TCAD
2008
15 years 1 months ago
2008
Abstract--Thermal issues are fast becoming major design constraints in high-performance systems. Temperature variations adversely affect system reliability and prompt worst-case de...
144
click to vote
IEE
2011
14 years 9 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...