7380 search results - page 670 / 1476 » Engineering Software Intensive Systems |
212
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
228
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
Performance modeling and evaluation of embedded hardware/software systems is important to help the CoDesign process. The hardware/software partitioning needs to be evaluated befor...
197
click to vote
ARCS
2006
Springer
15 years 11 months ago
2006
Springer
This corresponds to the material in the invited keynote presentation by H. J. Siegel, summarizing the research in [2, 23]. Resource allocation decisions in heterogeneous parallel a...
138
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
Knowing what social activity is occurring within and through a Computer-Supported Cooperative Work (CSCW) system is often very useful. This is especially true for computer-mediate...
188
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Fault-tolerant mobile computing systems have different requirements and restrictions, not taken into account by conventional distributed systems. This paper presents a coordinate...