5962 search results - page 68 / 1193 » Working with Patterns and Code |
241
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
142
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
126
click to vote
OOPSLA
2010
Springer
15 years 25 days ago
2010
Springer
The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable,...
153
click to vote
ICIP
2000
IEEE
15 years 6 months ago
2000
IEEE
This work introduces two complementary techniques to improve the packet loss resilience of scalable video coding systems. First, a “switch per-pixel” error concealment (SPEC) ...
106
Voted
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— We consider the problem of serving multicast flows in a crossbar switch. We show that linear network coding across packets of a flow can sustain traffic patterns that cannot...