3971 search results - page 179 / 795 » On the Use of Properties in Java Applications |
143
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
Semanticsofskeleton-basedparallelprogramminglanguagescomesusuallyastwodistinctitems:afunctionalsemantics,modeling the function computed by the skeleton program, and a parallel sem...
330
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
180
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we present a web-based Distributed Virtual Learning Environment (DVLE) that could be used as a sophisticated tool for distance education and collaboration between t...
159
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
172
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...