Home
People
Top Users
Chat
My Profile
My Account
Groups
News
Audio
Images
Videos
Directory
More
About Us
All Time Top Ranked Pages
Contact
FAQ
Submissions
Submit A Newsfeed
Tag Cloud
Widgets
Copyright Notices
Search
Register
Login
Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities
Subpolyhedra Library: An Efficient Abstract Domain to Infer Linear Inequalities
By on 11/9/2008 2:51:52 AM • Rank (267) • Views 269
Thank you for your rating!
(0)
0
0
Distribution for the standalone Subpolyhedra library, a new numerical abstract domain for scalable inference and propagation of linear inequalities.
Read More
Comments
Media
Social
Comments -
Comment RSS
Who Has
Total #: 0
Connected Users:
Tweet
Who Viewed
Who Reviewed
Categories
Business
,
Technology
,
Companies
,
Computers
Related Pages
Shortened URL
http://tinyurl.com/yfulnwa
About
|
Advertise
|
Contact
© 2009 - 2011 by I'm Vivo! - a community driven social network and search engine.