5962 search results - page 597 / 1193 » Working with Patterns and Code |
305
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
175
click to vote
ICIAP
2005
ACM
16 years 7 months ago
2005
ACM
To improve video quality and coding efficiency, H.264/AVC [1] has adopted several newer coding tools such as a 4?4 integer DCT and a method for calculating half pixels than the pre...
182
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
180
click to vote
DCC
2005
IEEE
16 years 6 months ago
2005
IEEE
(t, m, s)-nets were defined by Niederreiter [6], based on earlier work by Sobol' [7], in the context of quasi-Monte Carlo methods of numerical integration. Formulated in comb...
181
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
Providing online access to sensitive data makes web servers lucrative targets for attackers. A compromise of any of the web server’s scripts, applications, or operating system c...