Search results for "stack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	V. Vinay, V. Chandru	The Expressibility of Nondeterministic Auxiliary Stack Automata and its Relation to Treesize Bounded Alternating Auxiliary Pushdown Automata.	FSTTCS	1990	DBLP DOI BibTeX RDF
14	Jo C. Ebergen, Daniel F. Finchelstein, Russell Kao, Jon K. Lexau, David Hopkins 0001	An Evaluation of Asynchronous Stacks.	IEEE Des. Test Comput.	2011	DBLP DOI BibTeX RDF	static-energy consumption, dynamic-energy consumption, asynchronous circuits, stack, design and test, LIFO
14	Takumi Maruyama, Toshio Yoshida, Ryuji Kan, Iwao Yamazaki, Shuji Yamamura, Noriyuki Takahashi, Mikio Hondou, Hiroshi Okano	Sparc64 VIIIfx: A New-Generation Octocore Processor for Petascale Computing.	IEEE Micro	2010	DBLP DOI BibTeX RDF	return address stack, low power, system on chip, multicore, hardware, high performance, processor
14	Hagit Attiya, Danny Hendler	Time and Space Lower Bounds for Implementations Using k-CAS.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	Compare&swap (CAS), k-compare&swap (k-CAS), conditional synchronization primitives, queue, collect, stack, counter, round complexity
14	Daniel Grund, Jan Reineke 0001	Precise and Efficient FIFO-Replacement Analysis Based on Static Phase Detection.	ECRTS	2010	DBLP DOI BibTeX RDF	FIFO Replacement, Abstract LRU Stack, Static Phase Detection, Cache Analysis
14	Martin Süßkraut, Thomas Knauth, Stefan Weigert, Ute Schiffel, Martin Meinhold, Christof Fetzer	Prospect: a compiler framework for speculative parallelization.	CGO	2010	DBLP DOI BibTeX RDF	bounds checker, stack translation, parallelization, assertions, speculation
14	Taehoon Kim, Sungwoo Tak	Experience with Hardware-Software Codesign of Network Protocol Stacks Supporting Real-Time Inter-Task Communication.	CIT	2010	DBLP DOI BibTeX RDF	Network protocol stack, Real-time inter-task communication
14	Leonid Ryzhyk, Yanjin Zhu, Gernot Heiser	The case for active device drivers.	ApSys	2010	DBLP DOI BibTeX RDF	stack ripping, concurrency, device drivers
14	Yutao Zhong 0001, Xipeng Shen, Chen Ding 0001	Program locality analysis using reuse distance.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	stack distance, training-based analysis, reuse distance, Program locality
14	Lukas Stadler, Christian Wimmer, Thomas Würthinger, Hanspeter Mössenböck, John Rose	Lazy continuations for Java virtual machines.	PPPJ	2009	DBLP DOI BibTeX RDF	stack frame, Java, optimization, performance, virtual machine, continuation, activation
14	Chaitanya Yalamanchili, Kiron Vijayasankar, Erez Zadok, Gopalan Sivathanu	DHIS: discriminating hierarchical storage.	SYSTOR	2009	DBLP DOI BibTeX RDF	intelligent disks, storage stack, file systems, storage systems
14	Jay A. McCarthy	Automatically RESTful web applications: marking modular serializable continuations.	ICFP	2009	DBLP DOI BibTeX RDF	web applications, continuations, stack inspection
14	Fang Liu, Fei Guo, Yan Solihin, Seongbeom Kim, Abdulaziz Eker	Characterizing and modeling the behavior of context switch misses.	PACT	2008	DBLP DOI BibTeX RDF	context switch misses, stack distance profiling, prefetching, analytical model
14	Conor McBride	Clowns to the left of me, jokers to the right (pearl): dissecting data structures.	POPL	2008	DBLP DOI BibTeX RDF	polynomial, generic programming, iteration, division, stack, differentiation, traversal, datatype, tail recursion, zipper, dissection
14	Anna Fontanelli	System-in-Package Technology: Opportunities and Challenges.	ISQED	2008	DBLP DOI BibTeX RDF	IO Planning, Co-design, Stack, System in Package
14	Takeshi Ikeda, Yutaka Inoue, Akio Sashima, Kiyoshi Yamamoto, Tomohisa Yamashita, Koichi Kurumatani	ComPass system: an low power wireless sensor network system and its application to indoor positioning.	CSTST	2008	DBLP DOI BibTeX RDF	low power radio device, wireless sensor networks, sensor networks, communication protocol, positioning system, indoor positioning, protocol stack
14	Guy E. Blelloch, Phillip B. Gibbons, Harsha Vardhan Simhadri	Combinable memory-block transactions.	SPAA	2008	DBLP DOI BibTeX RDF	memory-block transactions, priority write, read-modify-write, shared memory, transactional memory, queue, contention, combining, stack, linearizability, semaphore
14	Tiziana Margaria	Service Is in the Eyes of the Beholder.	Computer	2007	DBLP DOI BibTeX RDF	business service stack, Web services, service orientation, Intelligent Network, enterprise services
14	Adam Dunkels, Fredrik Österlind, Zhitao He	An adaptive communication architecture for wireless sensor networks.	SenSys	2007	DBLP DOI BibTeX RDF	wireless sensor networks, protocol stack
14	Takayasu Sakurai	Meeting with the forthcoming IC design.	SBCCI	2007	DBLP DOI BibTeX RDF	3D chip stack, large-area electronics, organic circuits, scaling issues, SiP
14	Jon Klein, Lee Spector	Unwitting distributed genetic programming via asynchronous JavaScript and XML.	GECCO	2007	DBLP DOI BibTeX RDF	PushGP, stack-based genetic programming, XML, networking, JavaScript, AJAX, Push
14	Eric Gamess, Neudith Morales	Implementing IPv6 at Central University of Venezuela.	LANC	2007	DBLP DOI BibTeX RDF	6to4 tunnel, UDP throughput, dual-stack, transmission mechanisms, performance, benchmarks, IPv6, NAT, IPv4, TCP throughput
14	William N. Scherer III, Doug Lea, Michael L. Scott	Scalable synchronous queues.	PPoPP	2006	DBLP DOI BibTeX RDF	contention freedom, dual data structures, dual queue, dual stack, lock freedom, synchronous queue, nonblocking synchronization
14	Ross Street	Categorical and Combinatorial Aspects of Descent Theory.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	n-category, weak n-category, descent, factorization system, computad, parity complex, torsor, stack, cohomology
14	David Watson 0001, Matthew Smart, G. Robert Malan, Farnam Jahanian	Protocol scrubbing: network security through transparent flow modification.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	protocol scrubber, stack fingerprinting, intrusion detection, network security, TCP/IP
14	Martin Modahl, Bikash Agarwalla, Gregory D. Abowd, Umakishore Ramachandran, T. Scott Saponas	Toward a standard ubiquitous computing framework.	Middleware for Pervasive and Ad-hoc Computing	2004	DBLP DOI BibTeX RDF	infrastructure stack, ubiquitous infrastructure
14	Mark A. Holliday	Animation of computer networking concepts.	ACM J. Educ. Resour. Comput.	2003	DBLP DOI BibTeX RDF	Selective Repeat, hypertext transfer protocol., media access, fragmentation, encapsulation, error control, Java applets, Protocol stack, CSMA/CD, name resolution
14	Yongjun Xu, Zuying Luo, Zhiguo Chen, Xiaowei Li 0001	Average Leakage Current Macromodeling for Dual-Threshold Voltage Circuits.	Asian Test Symposium	2003	DBLP DOI BibTeX RDF	stack effect, leakage current simulation, propagation of signal probability, macromodeling
14	Sangyeun Cho, Pen-Chung Yew, Gyungho Lee	A High-Bandwidth Memory Pipeline for Wide Issue Processors.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	Data bandwidth, runtime stack, data stream partitioning, multiported data cache, instruction level parallelism, data locality
14	Austin Kim, J. Morris Chang	Advanced POC Model-Based Java Instruction Folding Mechanism.	EUROMICRO	2000	DBLP DOI BibTeX RDF	Instruction Folding, Java Virtual Machine (JVM), Stack, Java processor, Java bytecode, Java programming language
14	Matthias Menge	Sprungvorhersage in Fließbandprozessoren.	Inform. Spektrum	1998	DBLP DOI BibTeX RDF	Sprungvorhersage, Sprungzielpuffer, Rücksprung-Stack, Fließbandverarbeitung
14	David R. Kaeli, Philip G. Emma	Improving the Accuracy of History Based Branch Prediction.	IEEE Trans. Computers	1997	DBLP DOI BibTeX RDF	History-based branch prediction, BTB, call/return stack, case block table, high-level language, execution-driven simulation
14	Yonatan Aumann, Michael A. Bender	Fault Tolerant Data Structures.	FOCS	1996	DBLP DOI BibTeX RDF	fault tolerant data structures, memory faults, pointer-based data structures, dictionary tree, trees, stack, tree data structures, linked list
14	Hans M. Mulder, Michael J. Flynn	Processor Architecture and Data Buffering.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	data buffering, memory-to-memory, software support, performance, scalability, data structures, computer architecture, memory hierarchy, buffer storage, stack, register
14	David Harel, Danny Raz	Deciding Properties of Nonregular Programs (Preliminary Version)	FOCS	1990	DBLP DOI BibTeX RDF	infinite trees, nonregular programs, nonregular languages, stack automata, validity, PDAs, decidability, decision procedures, propositional dynamic logic
14	Mark D. Hill, Alan Jay Smith	Evaluating Associativity in CPU Caches.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	CPU caches, cache miss ratio, forest simulation, all-associativity simulation, stack simulation, associativity, buffer storage, content-addressable storage, direct-mapped, set-associative
14	Ramón D. Acosta, Jacob Kjelstrup, Hwa C. Torng	An Instruction Issuing Approach to Enhancing Performance in Multiple Functional Unit Processors.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	processor performance enhancement, Dispatch stack, instruction issuing, instruction unit, multiple functional unit processors, multiple instruction dispatching, dynamic instruction scheduling
14	Shing-Tsaan Huang, Satish K. Tripathi	Finite State Model and Compatibility Theory: New Analysis Tools for Permutation Networks.	IEEE Trans. Computers	1986	DBLP DOI BibTeX RDF	tightly coupled multiprocessors, Finite permutation machine, stack permutation machine, interconnection network, SIMD, shuffle, permutation network
14	James Leslie Keedy	An Instruction Set for Evaluating Expressions.	IEEE Trans. Computers	1983	DBLP DOI BibTeX RDF	stack-based instruction sets, instruction set optimization, memory-to-memory instruction sets, Code compactness, expression evaluation, instruction set design
14	Butler W. Lampson	Fast Procedure Calls.	ASPLOS	1982	DBLP DOI BibTeX RDF	Architecture, Frame, Stack, Procedure, Transfer, Registers, Call
14	Roger W. Ehrich, Jörgen P. Foith	Representation of Random Waveforms by Relational Trees.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	Peak, scan line, texture, tree, stack, valley
12	Markos Fountoulakis, Manolis Marazakis, Michail Flouris, Angelos Bilas	DARC: design and evaluation of an I/O controller for data protection.	SYSTOR	2010	DBLP DOI BibTeX RDF	block-level I/O, storage architecture, storage controllers, virtualization, error detection, versioning, data protection, I/O performance
12	Katsuhiko Gondow, Naoki Fukuyasu, Yoshitaka Arahori	MieruCompiler: integrated visualization tool with "horizontal slicing" for educational compilers.	SIGCSE	2010	DBLP DOI BibTeX RDF	compiler course, rich internet application (ria), visualization, code generation, program understanding
12	Kelvin Nilsen	Ada-Java middleware for legacy software modernization.	JTRES	2010	DBLP DOI BibTeX RDF	mixed-language development, software modernization, Java, real-time, Ada, safety-critical, object oriented development, high-integrity systems, mission-critical
12	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Helper locks for fork-join parallel programming.	PPoPP	2010	DBLP DOI BibTeX RDF	dynamic multithreading, helper lock, parallel region, scheduling, work stealing, nested parallelism, cilk
12	Yi Guo, Yisheng Zhao, Vincent Cavé, Vivek Sarkar	SLAW: a scalable locality-aware adaptive work-stealing scheduler for multi-core systems.	PPoPP	2010	DBLP DOI BibTeX RDF	help-first, work-first, work-stealing
12	Gary Grider, James Nunez, John Bent, Steve Poole 0001, Robert B. Ross, Evan Felix	Coordinating government funding of file system and I/O research through the high end computing university research activity.	ACM SIGOPS Oper. Syst. Rev.	2009	DBLP DOI BibTeX RDF
12	Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban	Balancing the Load.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Pervasive formal verification, Software verification, Systems verification
12	Hendrik Tews, Marcus Völp, Tjark Weber	Formal Memory Models for the Verification of Low-Level Operating-System Code.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Micro-hypervisor, Memory-mapped devices, Formal verification, Virtual memory, Operating-system kernel
12	Walter Binder, Danilo Ansaloni, Alex Villazón, Philippe Moret	Parallelizing calling context profiling in virtual machines on multicores.	PPPJ	2009	DBLP DOI BibTeX RDF	calling context profiling, Java, concurrency, aspect-oriented programming, multicores, Java virtual machine, bytecode instrumentation, calling context tree
12	José L. Ayala, Arvind Sridhar, Vinod Pangracious, David Atienza, Yusuf Leblebici	Through Silicon Via-Based Grid for Thermal Control in 3D Chips.	NanoNet	2009	DBLP DOI BibTeX RDF
12	Devin Neal, H. Harry Asada	Nonlinear, large-strain PZT actuators using controlled structural buckling.	ICRA	2009	DBLP DOI BibTeX RDF
12	Maria João Frade, Ando Saabas, Tarmo Uustalu	Bidirectional data-flow analyses, type-systematically.	PEPM	2009	DBLP DOI BibTeX RDF	mechanical transformation of program proofs, program analyses and optimizations, type systems, program logics
12	Hiroshi Inoue, Toshio Nakatani	How a Java VM can get more from a hardware performance monitor.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, hardware performance monitor, calling context
12	Amit Kumar 0008, Ram Huggahalli, Srihari Makineni	Characterization of Direct Cache Access on multi-core systems and 10GbE.	HPCA	2009	DBLP DOI BibTeX RDF
12	Stefan Göller, Richard Mayr, Anthony Widjaja To	On the Computational Complexity of Verifying One-Counter Processes.	LICS	2009	DBLP DOI BibTeX RDF
12	Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann 0001	"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis.	FM	2009	DBLP DOI BibTeX RDF
12	Frank C. Uyeda, Diwaker Gupta, Amin Vahdat, George Varghese	GrassRoots: socially-driven web sites for the masses.	WOSN	2009	DBLP DOI BibTeX RDF	web 2.0, code generation, declarative specification
12	Wouter De Borger, Bert Lagaisse, Wouter Joosen	A generic and reflective debugging architecture to support runtime visibility and traceability of aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aop, debugging architecture, traceability, visibility
12	Shadi Traboulsi, Felix Bruns, Anas Showk, David Szczesny, Sebastian Hessel, Maria Elizabeth Gonzalez, Attila Bilgic	SDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform.	SDL Forum	2009	DBLP DOI BibTeX RDF	rapid system prototyping, design-space exploration, SDL, hardware/software co-design, mobile terminal
12	Kokou Mattewu Adegnon, Yves Dubé, Kodjo Agbossou	Experimental evaluation of PEM Fuel Cell systems efficiency.	CCECE	2009	DBLP DOI BibTeX RDF
12	Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna, Gregory L. Lee, Ben Liblit, Barton P. Miller, Martin Schulz 0001	Scalable temporal order analysis for large scale debugging.	SC	2009	DBLP DOI BibTeX RDF
12	Florin Craciun, Shengchao Qin, Wei-Ngan Chin	A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.	ICFEM	2008	DBLP DOI BibTeX RDF
12	Frank Walsh, Sasitharan Balasubramaniam, Dmitri Botvich, Tatsuya Suda, Tadashi Nakano, Stephen F. Bush, Mícheál Ó Foghlú	Hybrid DNA and Enzyme Based Computing for Address Encoding, Link Switching and Error Correction in Molecular Communication.	NanoNet	2008	DBLP DOI BibTeX RDF	communication protocols, molecular computing, Molecular communication
12	Pavan Balaji, Anthony Chan, William Gropp, Rajeev Thakur, Ewing L. Lusk	Non-data-communication Overheads in MPI: Analysis on Blue Gene/P.	PVM/MPI	2008	DBLP DOI BibTeX RDF
12	Tian Chen, Wenyu Liu 0001, Wang Yi 0004, Huaien Luo	A Uniform Host Protocol Framework Planning to Change.	VTC Spring	2008	DBLP DOI BibTeX RDF
12	Michael Scharf, Haiko Strotbek	Performance Evaluation of Quick-Start TCP with a Linux Kernel Implementation.	Networking	2008	DBLP DOI BibTeX RDF
12	Jack Alexander Goossen, Tomas Henriksson	Media Player Software in a System of Subsystems.	WICSA	2008	DBLP DOI BibTeX RDF	system of subsystems, system integration, architectural analysis, software decomposition
12	Wenxin Liang, Takeshi Miki, Haruo Yokota	Superimposed Code-Based Indexing Method for Extracting MCTs from XML Documents.	DEXA	2008	DBLP DOI BibTeX RDF
12	Arnaud Carayol, Matthew Hague, Antoine Meyer, C.-H. Luke Ong, Olivier Serre	Winning Regions of Higher-Order Pushdown Games.	LICS	2008	DBLP DOI BibTeX RDF	higher-order pushdown automata, mu-calculus model-checking, parity games, higher-order recursion schemes
12	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	Hopcroft's Algorithm and Cyclic Automata.	LATA	2008	DBLP DOI BibTeX RDF
12	Sridhar Ramaswamy	Extreme data mining.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	sigmod invited talk
12	Grigore Rosu, Feng Chen 0006, Thomas Ball	Synthesizing Monitors for Safety Properties: This Time with Calls and Returns.	RV	2008	DBLP DOI BibTeX RDF
12	Brice Goglin	Design and implementation of Open-MX: High-performance message passing over generic Ethernet hardware.	IPDPS	2008	DBLP DOI BibTeX RDF
12	Nutan Limaye, Meena Mahajan, Antoine Meyer	On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata.	CSR	2008	DBLP DOI BibTeX RDF
12	Daniel Skarin, Johan Karlsson	Software Implemented Detection and Recovery of Soft Errors in a Brake-by-Wire System.	EDCC	2008	DBLP DOI BibTeX RDF
12	Igor Loi, Subhasish Mitra, Thomas H. Lee, Shinobu Fujita, Luca Benini	A low-overhead fault tolerance scheme for TSV-based 3D network on chip links.	ICCAD	2008	DBLP DOI BibTeX RDF
12	Wolfgang Puffitsch, Martin Schoeberl	Non-blocking root scanning for real-time garbage collection.	JTRES	2008	DBLP DOI BibTeX RDF	root scanning, real-time, garbage collection
12	Tuomas Aura, Janne Lindqvist, Michael Roe, Anish Mohammed	Chattering Laptops.	Privacy Enhancing Technologies	2008	DBLP DOI BibTeX RDF	network location awareness, Privacy, mobile computing, wireless networks, anonymity
12	Matthew Cary, Matthias Jacob, Mariusz H. Jakubowski, Ramarathnam Venkatesan	The Long-Short-Key Primitive and Its Applications to Key Security.	IWSEC	2008	DBLP DOI BibTeX RDF
12	Venkatesh Arunachalam, Wayne P. Burleson	Low-power clock distribution in a multilayer core 3d microprocessor.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	3D ic's, 3D processor architectures, clock grids
12	Md. Rezaul Hoque Khan, Roberto Passerone, David Macii	FZepel: RF-level power consumption measurement (RF-PM) for Zigbee wireless sensor network-towards cross layer optimization.	ETFA	2008	DBLP DOI BibTeX RDF
12	Gregory L. Lee, Dong H. Ahn, Dorian C. Arnold, Bronis R. de Supinski, Matthew P. LeGendre, Barton P. Miller, Martin Schulz 0001, Ben Liblit	Lessons learned at 208K: towards debugging millions of cores.	SC	2008	DBLP DOI BibTeX RDF
12	Xutao Du, Chunxiao Xing, Lizhu Zhou	Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	web service interface, verification, web service composition, reachability analysis
12	Manuel Koschuch, Johann Großschädl, Udo Payer, Matthias Hudler, Michael Krüger	Workload Characterization of a Lightweight SSL Implementation Resistant to Side-Channel Attacks.	CANS	2008	DBLP DOI BibTeX RDF	Performance Evaluation, Network Security, Elliptic Curve Cryptography, Side-Channel Analysis, Efficient Implementation
12	Amandine Orecchioni, Nirmalie Wiratunga, Stewart Massie, Susan Craw	k-NN Aggregation with a Stacked Email Representation.	ECCBR	2008	DBLP DOI BibTeX RDF
12	Yehuda Afek, Eli Gafni, Adam Morrison 0001	Common2 extended to stacks and unbounded concurrency.	Distributed Comput.	2007	DBLP DOI BibTeX RDF	Common2, Unbounded concurrency, Immediate snapshot, Stacks, Wait-free
12	Stavros Konstantinidis, Nicolae Santean, Sheng Yu 0001	Representation and uniformization of algebraic transductions.	Acta Informatica	2007	DBLP DOI BibTeX RDF
12	Zafer Aydin, Yucel Altunbasak, Hakan Erdogan	Bayesian Protein Secondary Structure Prediction With Near-Optimal Segmentations.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
12	Uday P. Khedker, Amitabha Sanyal, Amey Karkare	Heap reference analysis using access graphs.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	heap references, data flow analysis, liveness, Aliasing
12	Hyungmin Cho, Bernhard Egger 0002, Jaejin Lee, Heonshik Shin	Dynamic data scratchpad memory management for a memory subsystem with an MMU.	LCTES	2007	DBLP DOI BibTeX RDF	horizontally-partitioned memory, post-pass optimization, compilers, scratchpad memory, demand paging
12	Andrés Ortiz 0001, Julio Ortega Lopera, Antonio F. Díaz, Alberto Prieto	Analyzing the benefits of protocol offload by full-system simulation.	PDP	2007	DBLP DOI BibTeX RDF
12	Deepti Chafekar, V. S. Anil Kumar 0001, Madhav V. Marathe, Srinivasan Parthasarathy 0002, Aravind Srinivasan	Cross-layer latency minimization in wireless networks with SINR constraints.	MobiHoc	2007	DBLP DOI BibTeX RDF	SINR model, end-to-end scheduling, wireless networks, interference, cross-layer design
12	Natwar Modani, Rajeev Gupta, Guy M. Lohman, Tanveer Fathima Syeda-Mahmood, Laurent Mignet	Automatically Identifying Known Software Problems.	ICDE Workshops	2007	DBLP DOI BibTeX RDF
12	Axel Polleres	From SPARQL to rules (and back).	WWW	2007	DBLP DOI BibTeX RDF	datalog, rules, SPARQL
12	Prateek Gupta, Vitaly Shmatikov	Security Analysis of Voice-over-IP Protocols.	CSF	2007	DBLP DOI BibTeX RDF
12	Ludo Van Put, Dominique Chanet, Koen De Bosschere	Whole-program linear-constant analysis with applications to link-time optimization.	SCOPES	2007	DBLP DOI BibTeX RDF
12	Neng-Fa Zhou	A Register-Free Abstract Prolog Machine with Jumbo Instructions.	ICLP	2007	DBLP DOI BibTeX RDF
12	Hussam Mousa, Chandra Krintz, Lamia Youseff, Richard Wolski	VIProf: Vertically Integrated Full-System Performance Profiler.	IPDPS	2007	DBLP DOI BibTeX RDF
12	Mahdi Niamanesh, Rasool Jalili	Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata.	FSEN	2007	DBLP DOI BibTeX RDF