645 search results - page 119 / 129 » Pure patterns type systems |
208
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
124
click to vote
CIVR
2010
Springer
14 years 11 months ago
2010
Springer
The automatic detection of near duplicate video segments, such as multiple takes of a scene or different news video clips showing the same event, has received growing research int...
130
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
135
click to vote
RTAS
2000
IEEE
15 years 6 months ago
2000
IEEE
To be an effective platform for performance-sensitive realtime systems, commercial-off-the-shelf (COTS) distributed object computing (DOC) middleware must support application qual...
130
click to vote
ECAI
2004
Springer
15 years 5 months ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...