2335 search results - page 207 / 467 » Type Checking Type Classes |
107
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
109
click to vote
CIE
2009
Springer
15 years 9 months ago
2009
Springer
J. Raymundo Marcial–Romero and M. H. Escard´o described onal programming language with an abstract data type Real for the real numbers and a non-deterministic operator rtest: Re...
119
click to vote
CRYPTO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We consider enhancing with privacy concerns a large class of auctions, which include sealed-bid single-item auctions but also general multi-item multi-winner auctions, ou...
124
click to vote
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
103
click to vote
IWANN
2005
Springer
15 years 7 months ago
2005
Springer
Boosting constructs a weighted classifier out of possibly weak learners by successively concentrating on those patterns harder to classify. While giving excellent results in many ...