Search results for "stacks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
74	Hyun-Wook Jin, Junbeom Yoo	Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems.	SEUS	2009	DBLP DOI BibTeX RDF	Network Protocol Stacks, Network Gateway, Formal Verification, Protocol Verification, Embedded Operating Systems, Embedded Networks
61	Felix G. König, Marco E. Lübbecke	Sorting with Complete Networks of Stacks.	ISAAC	2008	DBLP DOI BibTeX RDF
61	Dan Ashlock	Training Function Stacks to play the Iterated Prisoner's Dilemma.	CIG	2006	DBLP DOI BibTeX RDF
61	Arnaud Carayol	Regular Sets of Higher-Order Pushdown Stacks.	MFCS	2005	DBLP DOI BibTeX RDF
52	Sam Jansen, Anthony McGregor	Simulation with real world network stacks.	WSC	2005	DBLP DOI BibTeX RDF
52	Holger Petersen 0001	Stacks versus Deques.	COCOON	2001	DBLP DOI BibTeX RDF
52	Martin Capek	Registration and Composition of Stacks of Serial Optical Slices Captured by a Confocal Microscope.	CAIP	1999	DBLP DOI BibTeX RDF
52	Andrzej Salwicki	On Algorithmic Theory of Stacks.	MFCS	1978	DBLP DOI BibTeX RDF
51	Anil Pahwa, William B. Kuhn, Ruth Douglas Miller, Andrew Rys, Chris Eldridge, Scott Geier, Jeff Schuler, Matt Morley, Ian Sobering, Jonathan Stacks	Activities to infuse sustainability and renewable energy concepts in electrical and computer engineering.	FIE	2011	DBLP DOI BibTeX RDF
49	Puneet Gupta 0001, Andrew B. Kahng, Youngmin Kim, Dennis Sylvester	Investigation of performance metrics for interconnect stack architectures.	SLIP	2004	DBLP DOI BibTeX RDF	back-end metrics, interconnect stacks, via blockage, throughput, energy, bandwidth
46	Susumu Nishimura	Fusion with stacks and accumulating parameters.	PEPM	2004	DBLP DOI BibTeX RDF	accumulating parameters, higher-order removal, shortcut fusion, type-directed program transformation, stacks
46	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
46	Xavier Guerin, Katalin Popovici, Wassim Youssef, Frédéric Rousseau 0001, Ahmed Amine Jerraya	Flexible Application Software Generation for Heterogeneous Multi-Processor System-on-Chip.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
46	Stijn Eyerman, Lieven Eeckhout, Tejas Karkhanis, James E. Smith 0001	A performance counter architecture for computing accurate CPI components.	ASPLOS	2006	DBLP DOI BibTeX RDF	hardware performance counter architecture, superscalar processor performance modeling
46	Andrew V. Sokolov	Optimization strategies of stack control.	PPPJ/IRE	2002	DBLP DOI BibTeX RDF
43	Pavan Balaji, Sitha Bhagvat, Rajeev Thakur, Dhabaleswar K. Panda 0001	Sockets Direct Protocol for Hybrid Network Stacks: A Case Study with iWARP over 10G Ethernet.	HiPC	2008	DBLP DOI BibTeX RDF
43	Boncheol Gu, Junyoung Heo, Yookun Cho, Younghwan Kim	Linked Stack Buffer Management for Shared-Stacks.	ICCSA (1)	2008	DBLP DOI BibTeX RDF
43	Janakiraman Viraraghavan, Bishnu Prasad Das, Bharadwaj Amrutur	Voltage and Temperature Scalable Standard Cell Leakage Models Based on Stacks for Statistical Leakage Characterization.	VLSI Design	2008	DBLP DOI BibTeX RDF
43	Kevin Curran, Gerard Parr	Introducing IP Domain Flexible Middleware Stacks for Multicast Multimedia Distribution in Heterogeneous Environments.	MATA	2004	DBLP DOI BibTeX RDF
43	Hadrien Bullot, Roger Les Cottrell, Richard Hughes-Jones	Evaluation of Advanced TCP Stacks on Fast Long-Distance Production Networks.	J. Grid Comput.	2003	DBLP DOI BibTeX RDF	advanced TCP, networking, high speed network, system evaluation, system measurement
40	Maged M. Michael, Michael L. Scott	Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors.	IPPS	1997	DBLP DOI BibTeX RDF	relative performance, preemption safe locking, non blocking synchronization, multiprogrammed shared memory multiprocessors, inopportune preemption, synchronized parallel applications, concurrent atomic update, non blocking lock free algorithms, kernel support, universal atomic primitive, 12 processor SGI Challenge multiprocessor, multiprogrammed machines, priority queues, multiprogramming, stacks, concurrent data structures, counters, FIFO queues, shared data structures
40	Dedy Dewanto Tjhie, Helmut Rzehak	Design and Performance Evaluation of Network Interconnection Architectures.	LCN	1996	DBLP DOI BibTeX RDF	network interconnection architectures, protocol layer, output process, mean values, GI/G/1-K model, GI/G/1 model, performance evaluation, power, local area network, response time, performance metrics, high speed network, gateways, end-to-end delay, queueing network models, LAN interconnection, protocol architectures, service process, protocol stacks, buffer requirement, arrival process
37	Ariane Keller, Daniel Borkmann, Wolfgang Mühlbauer	Efficient Implementation of Dynamic Protocol Stacks.	ANCS	2011	DBLP DOI BibTeX RDF	flexible network stacks, Future Internet experimentation, performance, Network architecture
37	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
37	Michael L. Fredman, Deborah L. Goldsmith	Three Stacks	FOCS	1988	DBLP DOI BibTeX RDF	lower complexity bounds, upper complexity bounds, three stacks, additional time, additional space, memory, collisions, storage allocation, pointers, linked lists, relocating
37	Richard Z. Shilling, Senthil Ramamurthy, Marijn E. Brummer	Sampling strategies for super-resolution in multi-slice MRI.	ICIP	2008	DBLP DOI BibTeX RDF
37	Arnaud Carayol, Michaela Slaats	Positional Strategies for Higher-Order Pushdown Parity Games.	MFCS	2008	DBLP DOI BibTeX RDF
37	Marc Levoy, Ren Ng, Andrew Adams, Matthew Footer, Mark Horowitz	Light field microscopy.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	volume rendering, tomography, light fields, deconvolution, microscopy, synthetic aperture
37	Thorsten Schöler, Christian Müller-Schloer	First steps towards organic computing systems: monitoring an adaptive protocol stack with a fuzzy classifier system.	Conf. Computing Frontiers	2005	DBLP DOI BibTeX RDF	fuzzy learning classifier system, observer/controller, agents, monitoring, organic computing, protocol stack
33	Matteo Agostinelli, Massimo Alioto, David Esseni, Luca Selmi	Design and Evaluation of Mixed 3T-4T FinFET Stacks for Leakage Reduction.	PATMOS	2008	DBLP DOI BibTeX RDF
33	Germán González, François Fleuret, Pascal Fua	Automated Delineation of Dendritic Networks in Noisy Image Stacks.	ECCV (4)	2008	DBLP DOI BibTeX RDF
33	Balaji Rajappa, Yusuf Motiwala	Message Based Redundancy Approach using Totem Protocol for Telecom Applications and Protocol Stacks.	COMSWARE	2007	DBLP DOI BibTeX RDF
33	Sándor Székely, Szabolcs Máté Kis	Benchmarking Symmetrical DSL Modems with Different Protocol Stacks.	ISCC	2005	DBLP DOI BibTeX RDF
33	Marty A. Humphrey, Glenn S. Wasson, Yuliyan Kiryakov, Sang-Min Park, David Del Vecchio, Norm Beekwilder	Alternative Software Stacks for OGSA-based Grids.	SC	2005	DBLP DOI BibTeX RDF
33	Petri Mikkilä, Mikko Tiusanen	Comparing protocol stacks using stochastic Petri nets.	SMC (5)	2004	DBLP DOI BibTeX RDF
33	Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu	Automatic Specialization of Protocol Stacks.	LCN	2004	DBLP DOI BibTeX RDF
33	Markus Pizka, Christian Rehn	Heaps and Stacks in Distributed Shared Memory.	IPDPS	2002	DBLP DOI BibTeX RDF
33	Gerard Parr, Kevin Curran	Dynamic multimedia protocol stacks.	Softw. Concepts Tools	1998	DBLP DOI BibTeX RDF	Object frameworks, Distributed systems, Multimedia, Middleware, Protocol, Continuous media
33	Been-Chian Chien, Rong-Jaye Chen, Wei-Pang Yang	Competitive Analysis of the On-line Algorithms for Multiple Stacks Sysytems.	ISAAC	1992	DBLP DOI BibTeX RDF
33	Jyh-Herng Chow, Williams Ludwell Harrison III	Switch-stacks: a scheme for microtasking nested parallel loops.	SC	1990	DBLP DOI BibTeX RDF
33	Philippe Flajolet	The Evolution of Two Stacks in Bounded Space and Random Walks in a Triangle.	MFCS	1986	DBLP DOI BibTeX RDF
33	Naomi Rotenberg, Ascher Opler	Variable width stacks.	Commun. ACM	1963	DBLP DOI BibTeX RDF
31	Yehuda Afek, Eran Shalom	Less Is More: Consensus Gaps Between Restricted and Unrestricted Objects.	DISC	2006	DBLP DOI BibTeX RDF	Consensus hierarchy, Common2, Bounded-use, Bounded-size, Long-lived, Fetch&Add, Queues, Stacks, Set, Wait-free, Swap
31	Kevin Curran, Gerard Parr	An End to End Adaptable Architecture for Streaming Media over IP Networks.	Multim. Tools Appl.	2003	DBLP DOI BibTeX RDF	adaptive protocol stacks, QoS, middleware
31	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
31	James D. Salehi, James F. Kurose, Donald F. Towsley	The Performance Impact of Scheduling for Cache Affinity in Parallel Network Processing.	HPDC	1995	DBLP DOI BibTeX RDF	cache affinity, parallel network processing, independent protocol stacks, message throughput, scheduling, scheduling, performance evaluation, parallel processing, protocols, protocol, shared-memory multiprocessor, locking, communication delay, maximum throughput, performance impact
31	Dick Jensen	Adventures in Embedded Development.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	embedded systems development, software tool selection, off-the-shelf real-time operating system, unplanned critical paths, development delays, timing demands, software engineering, real-time systems, software tools, costs, operating systems (computers), project planning, protocol stacks, commercial products
31	Hussein M. Alnuweiri, Viktor K. Prasanna	Fast Image Labeling Using Local Operators on Mesh-Connected Computers.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	bit-serial processors, local operators, asymptotic time complexity, very fast shift registers, parallel algorithm, parallel algorithms, computational complexity, computational complexity, parallel architectures, parallel architectures, computerised picture processing, computerised picture processing, stacks, communication links, mesh-connected computers, image labeling
31	Kun-Lung Wu, W. Kent Fuchs, Janak H. Patel	Error Recovery in Shared Memory Multiprocessors Using Private Caches.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	processor transient faults, user-transparent checkpointing, checkpointed computation state, recovery stacks, rollback propagation, rapidrecovery, fault tolerance, fault tolerant computing, multiprocessor interconnection networks, multiprocessing systems, shared memory multiprocessors, system recovery, buffer storage, cache coherence protocols, performance degradation, processor utilization, private caches, error latency
30	John Clements, Shriram Krishnamurthi	Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up.	ICER (1)	2022	DBLP DOI BibTeX RDF
30	Mathias Lüdtke, Ludovic Delval, Jonathan Hechtbauer, Mirko Bordignon	Manufacturing Stacks: from Reference Models to Technology Stacks for Digital Manufacturing.	ETFA	2019	DBLP DOI BibTeX RDF
30	Stijn Eyerman, Wim Heirman, Kristof Du Bois, Ibrahim Hur	Extending the Performance Analysis Tool Box: Multi-stage CPI Stacks and FLOPS Stacks.	ISPASS	2018	DBLP DOI BibTeX RDF
30	William Y. C. Chen, Qiang-Hui Guo, Lisa Hui Sun, Jian Wang 0092	Zigzag Stacks and m-Regular Linear Stacks.	J. Comput. Biol.	2014	DBLP DOI BibTeX RDF
28	Xinyu Jiang, Yu Guo, Yiyun Chen	The Logical Approach to Low-Level Stack Reasoning.	TASE	2009	DBLP DOI BibTeX RDF
28	Kalapriya Kannan, Nanjangud C. Narendra, Lakshmish Ramaswamy	Managing Configuration Complexity during Deployment and Maintenance of SOA Solutions.	IEEE SCC	2009	DBLP DOI BibTeX RDF
28	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
28	Dario Carotenuto, Aniello Murano, Adriano Peron	2-Visibly Pushdown Automata.	Developments in Language Theory	2007	DBLP DOI BibTeX RDF
28	Jeonghun Cho, Yunheung Paek	Run-Time Memory Optimization for DDMB Architecture Through a CCB Algorithm.	EUC Workshops	2006	DBLP DOI BibTeX RDF	dual data memory banks, compiler and on-chip memory, DSP, Run-time environment
28	Lifeng Zhou, Hung Keng Pung, Lek Heng Ngoh, Tao Gu	Ontology Modeling of a Dynamic Protocol Stack.	LCN	2006	DBLP DOI BibTeX RDF
28	Jiwon Kim, Steven M. Seitz, Maneesh Agrawala	Video-based document tracking: unifying your physical and electronic desktops.	UIST	2004	DBLP DOI BibTeX RDF	intelligent office, interactive desktop, video analysis, document recognition
28	Vivek De	Leakage-tolerant design techniques for high performance processors.	ISPD	2002	DBLP DOI BibTeX RDF
28	Ranjit K. Dash, T. Pramod, Vinita Vasudevan, M. Ramakrishna 0001	A Transistor Level Placement Tool for Custom Cell Generation.	VLSI Design	2000	DBLP DOI BibTeX RDF	simulated annealing, placement
28	George Ghinea, Johnson P. Thomas, Robert S. Fish	Multimedia, network protocols and users - bridging the gap.	ACM Multimedia (1)	1999	DBLP DOI BibTeX RDF	QoP, protocol adaptation, QoS, perception
28	Chris J. M. Booth, Donald I. Bruce	Stack-Free Process-Oriented Simulation.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
24	Nutan Limaye, Meena Mahajan	Membership Testing: Removing Extra Stacks from Multi-stack Pushdown Automata.	LATA	2009	DBLP DOI BibTeX RDF
24	Geoffrey Chu, Peter J. Stuckey	Minimizing the Maximum Number of Open Stacks by Customer Search.	CP	2009	DBLP DOI BibTeX RDF
24	Stefan Felsner, Martin Pergel	The Complexity of Sorting with Networks of Stacks and Queues.	ESA	2008	DBLP DOI BibTeX RDF
24	Ranga Srinivasan, Xiaobo Zhou 0001, Eric L. Miller 0001, Ju Lu, Jeff Lichtman, Stephen T. C. Wong	3-D Centerline Extraction of Axons in Microscopic Stacks for the Study of Motor Neuron Behavior in Developing Muscles.	ISBI	2007	DBLP DOI BibTeX RDF
24	William Beaver, David Kosman, Gary Tedeschi, Ethan Bier, William McGinnis, Yoav Freund	Segmentation of Nuclei on Confocal Image Stacks Using Performance Based Thresholding.	ISBI	2007	DBLP DOI BibTeX RDF
24	Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek	Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks.	CC	2007	DBLP DOI BibTeX RDF
24	Walter Dosch, Gongzhu Hu	On Irregular Behaviours of Interactive Stacks.	ITNG	2007	DBLP DOI BibTeX RDF
24	Martin Heß	Semi-automated Mapping of Cell Nuclei in 3D-Stacks from Optical-Sectioning Microscopy.	MDA	2007	DBLP DOI BibTeX RDF
24	Juhani Karhumäki, Michal Kunc, Alexander Okhotin	Communication of Two Stacks and Rewriting.	ICALP (2)	2006	DBLP DOI BibTeX RDF
24	Liliana Rosa, Antónia Lopes, Luís E. T. Rodrigues	Policy-Driven Adaptation of Protocol Stacks.	ICAS	2006	DBLP DOI BibTeX RDF
24	Sam Jansen, Anthony McGregor	Measured Comparative Performance of TCP Stacks.	PAM	2005	DBLP DOI BibTeX RDF
24	Thorsten Schöler, Christian Müller-Schloer	An Observer/Controller Architecture for Adaptive Reconfigurable Stacks.	ARCS	2005	DBLP DOI BibTeX RDF
24	Seng Kee Tan, Yu Ge 0001, Kean Soon Tan, Chee-Wei Ang, Nirmalya Ghosh	Dynamically Loadable Protocol Stacks: A Message Parser--Generator Implementation.	IEEE Internet Comput.	2004	DBLP DOI BibTeX RDF	Protocol Development Design Model, Dynamic Protocol, SIP, Network Protocols
24	Hai Jin 0001, Zhiyuan Shao	Cluster Architecture with Lightweighted Redundant TCP Stacks.	CLUSTER	2003	DBLP DOI BibTeX RDF
24	Zhanping Chen, Mark Johnson, Liqiong Wei, Kaushik Roy 0001	Estimation of standby leakage power in CMOS circuits considering accurate modeling of transistor stacks.	ISLPED	1998	DBLP DOI BibTeX RDF
24	Hagit Attiya	Implementing FIFO Queus and Stacks (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
22	Zhiyuan Shao, Hai Jin 0001, Bin Cheng 0001, Wenbin Jiang	ER-TCP: an efficient TCP fault-tolerance scheme for cluster computing.	J. Supercomput.	2008	DBLP DOI BibTeX RDF	TCP stacks, Fault tolerance, Cluster computing, Survivability, High availability
22	Ali Erkan, Diyan Gochev	An image background detection project for a visual exploration of DFS and BFS.	SIGCSE	2008	DBLP DOI BibTeX RDF	visualization, algorithms, data structures, recursion, queues, stacks
22	Karthikeyan Umapathy, Sandeep Purao	A theoretical investigation of the emerging standards for web services.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Web services standards, W3C web services, Standards stacks, Layered models, Language-Action Perspective, Reference framework, Web services, Semantic web services, Service-Oriented Computing, ebXML
22	Michael Weiss 0001, Tony Bailetti, Peter Carbone	Workshop on integration of open source components into large software systems.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	integration, components, open source, quality assurance, stacks, licensing
22	Bryan Veal, Annie P. Foong	Performance scalability of a multi-core web server.	ANCS	2007	DBLP DOI BibTeX RDF	network protocol stacks, scalability, load balancing, networks, parallelism, web servers, cache hierarchies
22	David R. Smith, Jing C. Lin	The Tree-Match Chip.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	subject stream scan, multiple chip cascading, tree-match chip, chip organization, one-bit-wide stacks, functional language processing, 40-pin standard frame, satellite computers, parallel algorithms, VLSI, circuit layout CAD, CMOS integrated circuits, CMOS technology, shift registers, coprocessor, content-addressed memory, tree-pattern-matching
22	Jik H. Chang, Oscar H. Ibarra, Moon-Jung Chung, Kotesh K. Rao	Systolic Tree Implementation of Data Structures.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	systolic tree implementation, dequeues, unit response time, unit pipeline interval, data elements, data structures, data structures, queueing theory, trees (mathematics), queues, stacks, data transmission, dictionary machines
18	Marcelo Ribeiro Nascimento, Christian Esteve Rothenberg, Marcos Rogério Salvador, Maurício F. Magalhães	QuagFlow: partnering Quagga with OpenFlow.	SIGCOMM	2010	DBLP DOI BibTeX RDF	routing, virtualization, open-source
18	Alex Landau, David Hadas, Muli Ben-Yehuda	Plugging the hypervisor abstraction leaks caused by virtual networking.	SYSTOR	2010	DBLP DOI BibTeX RDF	I/O virtualization, network abstraction, network virtualization
18	Sébastien Fourey, Luc Brun	A First Step toward Combinatorial Pyramids in n-D Spaces.	GbRPR	2009	DBLP DOI BibTeX RDF
18	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
18	Felix Bollenbeck, Stephanie Kaspar, Hans-Peter Mock, Diana Weier, Udo Seiffert	Three-Dimensional Multimodality Modelling by Integration of High-Resolution Interindividual Atlases and Functional MALDI-IMS Data.	BICoB	2009	DBLP DOI BibTeX RDF	Plant Phenotyping, Computational Phenomics, Multimodality Registration, 3-D Modelling
18	Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia	On the Asynchronous Nature of the Asynchronous pi-Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
18	Mohamed Faouzi Atig, Benedikt Bollig, Peter Habermehl	Emptiness of Multi-pushdown Automata Is 2ETIME-Complete.	Developments in Language Theory	2008	DBLP DOI BibTeX RDF
18	Björn Andres, Ullrich Köthe, Moritz Helmstaedter, Winfried Denk, Fred A. Hamprecht	Segmentation of SBFSEM Volume Data of Neural Tissue by Hierarchical Classification.	DAGM-Symposium	2008	DBLP DOI BibTeX RDF
18	Hyun-Wook Jin, Chuck Yoo	Impact of protocol overheads on network throughput over high-speed interconnects: measurement, analysis, and improvement.	J. Supercomput.	2007	DBLP DOI BibTeX RDF	Programmable Network interface cards, Clusters, Myrinet, High-speed interconnects, UDP/IP
18	Steven Minsker	The linear twin Towers of Hanoi problem.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	recursion, analysis of algorithms, Towers of Hanoi
18	Sowmya Gopinath, Ninad Thakoor, Jean Gao, Kate Luby-Phelps	A Statistical Approach for Intensity Loss Compensation of Confocal Microscopy Images.	ICIP (6)	2007	DBLP DOI BibTeX RDF
18	Vivek Sarkar	Programming Challenges for Petascale and Multicore Parallel Systems.	HPCC	2007	DBLP DOI BibTeX RDF
18	Matthew Hague, C.-H. Luke Ong	Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems.	FoSSaCS	2007	DBLP DOI BibTeX RDF