BGPStream: A Software Framework for Live and Historical BGP Data Analysis Chiara Orsini 1 , Alistair King1 , Danilo Giordano2 , Vasileios Giotsas1 , Alberto Dainotti1 1 CAIDA, UC San Diego 2

Source URL: www.caida.org

• Internet architecture
• Computing
• Internet
• Network architecture
• Border Gateway Protocol
• BGP hijacking
• Route Views
• Autonomous system
• Routing
• Router
• Multihoming
• Computer network

A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Constructible universe
• Distribution

SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA

Source URL: jorgenavas.github.io

• Programming language implementation
• Compiler construction
• Software engineering
• Computing
• Compiler optimizations
• Software testing
• Abstract interpretation
• LLVM
• Compiler
• Intermediate representation
• Hoare logic
• Static single assignment form

Dealing with Hardware in Embedded Software: A Retargetable Framework Based on the Devil Language Fabrice Mérillon, Gilles Muller To cite this version: Fabrice Mérillon, Gilles Muller. Dealing with Hardware in Embedded

Source URL: hal.inria.fr

A Functional Framework for Result Checking Gilles Barthe1 , Pablo Buiras1,2 , and C´esar Kunz1 2 1 IMDEA Software, Spain

Source URL: people.seas.harvard.edu

Java EE and Spring Framework Shootout
Rohit Kelapure IBM Advisory Software Engineer, http://wasdynacache.blogspot.com/
Reza Rahman Independent Consultant, Author, Java EE Expert http://www.rahmannet.net/
Presentati

Source URL: www.rahmannet.net

FlowFuzz A Framework for Fuzzing OpenFlow-enabled Software and Hardware Switches Nicholas Gray, Manuel Sommer, Thomas Zinner, Phuoc Tran-Gia About us

Source URL: www.blackhat.com

GraySort and MinuteSort at Yahoo on Hadoop 0.23 Thomas Graves Yahoo! May, 2013 The Apache Hadoop[1] software library is an open source framework that allows for

Source URL: sortbenchmark.org

PHOENIX  Physics with Homemade Equipment & Innovative Experiments Phoenix is a hardware and software framework that can be used for developing computer interfaced science experiments without getting into the deta

Source URL: www.iuac.res.in

Using the Spry Framework Trademarks 1 Step RoboPDF, ActiveEdit, ActiveTest, Authorware, Blue Sky Software, Blue Sky, Breeze, Breezo, Captivate, Central, ColdFusion, Contribute, Database Explorer, Director, Dreamweaver,

Source URL: www.billyboylindien.com