3713 search results - page 485 / 743 » Constructing a Calculus of Programs |
145
click to vote
DCC
2005
IEEE
16 years 3 months ago
2005
IEEE
Minimum-entropy decoding is a universal decoding algorithm used in decoding block compression of discrete memoryless sources as well as block transmission of information across di...
142
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...
120
click to vote
IEEEPACT
2007
IEEE
15 years 10 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
129
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
101
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
As more and more reusable structured data appears on the Web, casual users will want to take into their own hands the task of mashing up data rather than wait for mash-up sites to ...