7380 search results - page 493 / 1476 » Engineering Software Intensive Systems |
127
click to vote
IWPC
1996
IEEE
15 years 9 months ago
1996
IEEE
Technology to support system comprehension tends to reflect either a "bottom-up" or "top-down" approach. Bottom-up approaches attempt to derive system models f...
122
click to vote
COMPSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
174
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
203
click to vote
CAL
2011
14 years 5 months ago
2011
—In this paper we present DRAMSim2, a cycle accurate memory system simulator. The goal of DRAMSim2 is to be an accurate and publicly available DDR2/3 memory system model which ca...
114
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
It is important that information provided in bug reports is relevant and complete in order to help resolve bugs quickly. However, often such information trickles to developers aft...