4476 search results - page 457 / 896 » Modeling software architectures in the Unified Modeling Lang... |
239
click to vote
IPAW
2010
15 years 5 months ago
2010
Abstract. "Why does the build fail currently?" - This and similar questions arise on a daily basis in software development processes (SDP). There is no easy way to answer...
226
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E’s use in developing practical tools for comprehensive perfo...
279
click to vote
POS
1998
Springer
15 years 12 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
205
click to vote
APLAS
2005
ACM
16 years 1 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
223
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Generative models such as statistical language modeling have been widely studied in the task of expert search to model the relationship between experts and their expertise indicat...