Best Conference Papers

Best and award-winning papers from academic conferences, by year.

Showing 3,661-3,690 of 5,817 items.

Year	Conferences	Best Papers
2014	DAC	Code Coverage of Assertions Using RTL Source Code Analysis
2014	DAC	Containing Timing-Related Certification Cost in Automotive Systems Deploying Complex Hardware
2014	DVCon Europe	Transitioning Mixed-Signal Verification Environments to Universal Verification Methodology
2014	EMNLP	Modeling Biological Processes for Reading Comprehension
2014	EMSOFT	Multiple Shooting, CEGAR-based Falsification of Hybrid Systems
2014	ESEM	Discovering Buffer Overflow Vulnerabilities In The Wild: An Empirical Study
2014	ESEM	Evaluating strategies for study selection in systematic literature studies
2014	ESEM	Towards a Framework to Support Large Scale Sampling in Software Engineering Surveys
2014	ESEM	Networking in a Large-Scale Distributed Agile Project
2014	ESOP	An array-oriented language with static rank polymorphism
2014	Eurocrypt	Unifying Leakage Models: From Probing Attacks to Noisy Leakage
2014	Eurocrypt	A Heuristic Quasi-Polynomial Algorithm for Discrete Logarithm in Finite Fields of Small Characteristic
2014	FAST	Log-structured Memory for DRAM-based Storage
2014	FOCS	Path Finding Methods for Linear Programming: Solving Linear Programs in O(sqrt(rank)) Iterations and Faster Algorithms for Maximum Flow
2014	FoSSaCS	Unsafe order-2 tree languages are context-sensitive
2014	FSE	Selection and Presentation Practices for Code Example Summarization
2014	FSE	Are Mutants a Valid Substitute for Real Faults in Software Testing?
2014	FSE	AI: A Lightweight System for Tolerating Concurrency Bugs
2014	FSE	Powering the Static Driver Verifier using Corral
2014	FSE	Learning Natural Coding Conventions
2014	FSE	Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study
2014	FSE'	Differential-Linear Cryptanalysis Revisited
2014	FSE'	Direct Construction of Recursive MDS Diffusion Layers Using Shortened BCH Codes
2014	GRAPP	Shape Transformation of Multidimensional Density Functions using Distribution Interpolation of the Radon Transforms
2014	GRAPP	Floor Plan Generation and Room Labeling of Indoor Environments from Laser Range Data
2014	HICSS	Validation and Analysis of a Distributed, Agent-Based Metaheuristic for Negotiation of Consensus Inspired by Honeybee Nest Site Selection Behavior
2014	HICSS	Trading on Twitter: The Financial Information Content of Emotion in Social Media
2014	HICSS	Seeing with Paper: Government Documents and Material Participation
2014	HICSS	Active Citizen E-Participation in Local Governance: Do Individual Social Capital and E-Participation Management Matter?
2014	HICSS	Electricity Restructuring, Consumer Prices and the Cost of Capital: Lessons for the Modeling of Future Policy