1086 search results - page 13 / 218 » Programming by Numbers: A Programming Method for Novices |
162
Voted
COMPSYSTECH
2011
14 years 1 months ago
2011
Abstract. In a software watermarking environment, several graph theoretic watermark methods encode the watermark values as graph structures and embed them in application programs. ...
SODA
1998
ACM
15 years 3 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
113
click to vote
RECOMB
2009
Springer
15 years 8 months ago
2009
Springer
Comparing genomes of different species is a crucial problem in comparative genomics. Different measures have been proposed to compare two genomes: number of common intervals, num...
121
click to vote
ICCL
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
ENTCS
2008
15 years 1 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...