950 search results - page 82 / 190 » Free and Open Source Software |
105
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
This paper presents Aligators, a tool for the generation of universally quantified array invariants. Aligators leverages recurrence solving and algebraic techniques to carry out i...
ACMICEC
2008
ACM
14 years 12 months ago
2008
ACM
In this paper we propose an extended version of the open source jUDDI implementation by the Apache Software Foundation, adapted to pervasive RFID contexts. The registry
100
click to vote
AVI
2010
14 years 7 months ago
2010
The procedures to collect information about users are well known in computer science till long time. They range from getting explicit information from users, required in order to ...
MM
2010
ACM
14 years 10 months ago
2010
ACM
VLFeat is an open and portable library of computer vision algorithms. It aims at facilitating fast prototyping and reproducible research for computer vision scientists and student...
TVCG
2008
14 years 9 months ago
2008
Abstract-Chromium Renderserver (CRRS) is software infrastructure that provides the ability for one or more users to run and view image output from unmodified, interactive OpenGL an...