597 search results - page 78 / 120 » E-Process Design and Assurance Using Model Checking |
129
click to vote
SIGSOFT
2000
ACM
15 years 9 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
200
click to vote
ASPLOS
2012
ACM
14 years 18 days ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...
152
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
122
click to vote
DAC
2000
ACM
16 years 5 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
159
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...