Sciweavers

5343 search results - page 252 / 1069
» Keyword programming in java
Sort
View
FATES
2003
Springer
15 years 8 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
BMCBI
2006
116views more  BMCBI 2006»
15 years 3 months ago
HotSwap for bioinformatics: A STRAP tutorial
Background: Bioinformatics applications are now routinely used to analyze large amounts of data. Application development often requires many cycles of optimization, compiling, and...
Christoph Gille, Peter N. Robinson
ESEM
2010
ACM
15 years 4 months ago
Gender differences and programming environments: across programming populations
Although there has been significant research into gender regarding educational and workplace practices, there has been little investigation of gender differences pertaining to pro...
Margaret M. Burnett, Scott D. Fleming, Shamsi Iqba...
ANOR
2007
91views more  ANOR 2007»
15 years 3 months ago
An overview of bilevel optimization
Abstract This paper is devoted to bilevel optimization, a branch of mathematical programming of both practical and theoretical interest. Starting with a simple example, we proceed ...
Benoît Colson, Patrice Marcotte, Gilles Sava...
POS
1998
Springer
15 years 7 months ago
Optimizing the Read and Write Barriers for Orthogonal Persistence
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
Antony L. Hosking, Nathaniel Nystrom, Quintin I. C...