345 search results - page 54 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
SIGSOFT
2008
ACM
16 years 14 days ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
102
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
131
click to vote
EMSOFT
2010
Springer
14 years 9 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
PLDI
2006
ACM
15 years 5 months ago
2006
ACM
Garbage collection has proven benefits, including fewer memoryrelated errors and reduced programmer effort. Garbage collection, however, trades space for time. It reclaims memory...
143
click to vote
BMCBI
2011
14 years 6 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...