9006 search results - page 366 / 1802 » Modeling Software |
194
click to vote
WCRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—There are numerous studies that examine whether or not cloned code is harmful to software systems. Yet, few of them study which characteristics of cloned code in particular lead...
142
click to vote
JISBD
2001
15 years 8 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
181
click to vote
APLAS
2005
ACM
16 years 8 days 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...
207
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
187
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...