Search results for "Stacks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Jenn-Nan Chen, Peter Chen	Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks.	COMPSAC	1990	DBLP DOI BibTeX RDF
15	Kerim Demirbas	Multidimensional state estimation using stacks for dynamic systems with interference.	Autom.	1989	DBLP DOI BibTeX RDF
15	Franz-Josef Brandenburg	On the Intersection of Stacks and Queues.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
15	Ming Li 0001, Paul M. B. Vitányi	Tape versus Queue and Stacks: The Lower Bounds	Inf. Comput.	1988	DBLP DOI BibTeX RDF
15	Samuel N. Kamin	The Expressive Theory of Stacks.	Acta Informatica	1987	DBLP DOI BibTeX RDF
15	D. Yun Yeh, Toshinori Munakata	Dynamic Initial Allocation and Local Reallocation Procedures for Multiple Stacks.	Commun. ACM	1986	DBLP DOI BibTeX RDF
15	Jerzy Tiuryn	Higher-Order Arrays and Stacks in Programming. An Application of Complexity Theory to Logics of Programs.	MFCS	1986	DBLP DOI BibTeX RDF
15	Thomas E. Gerasch	Use of preprocessor as a tool to assist students in implementing stacks and queues.	SIGCSE	1985	DBLP DOI BibTeX RDF
15	Helena Rasiowa	Theories of interacting stacks.	Symposium on Computation Theory	1984	DBLP DOI BibTeX RDF
15	Tinko Tinchev, Dimiter Vakarelov	Propositional dynamic logics with counters and stacks.	Symposium on Computation Theory	1984	DBLP DOI BibTeX RDF
15	William T. Trotter	Stacks and splits of partially ordered sets.	Discret. Math.	1981	DBLP DOI BibTeX RDF
15	William H. Burge	Stacks in a Two-Level Store.	J. Algorithms	1981	DBLP DOI BibTeX RDF
15	Andrew Chi-Chih Yao	An Analysis of a Memory Allocation Scheme for Implementing Stacks.	SIAM J. Comput.	1981	DBLP DOI BibTeX RDF
15	Andrzej Salwicki	On the algorithmic theory of stacks.	Fundam. Informaticae	1980	DBLP BibTeX RDF
15	John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis	Testing traversable stacks.	ACM SIGPLAN Notices	1980	DBLP DOI BibTeX RDF
15	James Leslie Keedy	More on the use of stacks in the evaluation of expressions.	SIGARCH Comput. Archit. News	1979	DBLP DOI BibTeX RDF
15	James Leslie Keedy	On the use of stacks in the evaluation of expressions.	SIGARCH Comput. Archit. News	1978	DBLP DOI BibTeX RDF
15	James Leslie Keedy	On the evaluation of expressions using accumulators, stacks and store-to-store instructions.	SIGARCH Comput. Archit. News	1978	DBLP DOI BibTeX RDF
15	Eli Shamir 0001, Catriel Beeri	Checking Stacks and Context-Free Programmed Grammars Accept p-complete Languages.	ICALP	1974	DBLP DOI BibTeX RDF
15	Gary Lindstrom	Scanning List Structures Without Stacks or Tag Bits.	Inf. Process. Lett.	1973	DBLP DOI BibTeX RDF
15	Vaughan R. Pratt	Computing Permutations with Double-Ended Queues, Parallel Stacks and Parallel Queues	STOC	1973	DBLP DOI BibTeX RDF
15	Brian H. Mayoh	Recursion and Stacks.	Inf. Process. Lett.	1972	DBLP DOI BibTeX RDF
15	Robert Endre Tarjan	Sorting Using Networks of Queues and Stacks.	J. ACM	1972	DBLP DOI BibTeX RDF
15	Farhad Mavaddat	Using Stacks to Detect Expression Parallelism.	IFIP Congress (1)	1971	DBLP BibTeX RDF
9	Marco Zimmerling, Federico Ferrari, Matthias Woehrle, Lothar Thiele	Exploiting protocol models for generating feasible communication stack configurations.	IPSN	2010	DBLP DOI BibTeX RDF	protocol configuration, constraint programming
9	George Buchanan 0001	The fused library: integrating digital and physical libraries with location-aware sensors.	JCDL	2010	DBLP DOI BibTeX RDF	digital libraries, human factors, physical interaction
9	Vassilios Gerousis	Physical design implementation for 3D IC: methodology and tools.	ISPD	2010	DBLP DOI BibTeX RDF	3D IC stack, micro-bump, physical design tools, silicon interposer, methodology, tsv
9	Jean Yang 0001, Chris Hawblitzel	Safe to the last instruction: automated verification of a type-safe operating system.	PLDI	2010	DBLP DOI BibTeX RDF	verification, operating system, type safety, run-time system
9	Guoqing Xu 0001, Atanas Rountev	Detecting inefficiently-used containers to avoid bloat.	PLDI	2010	DBLP DOI BibTeX RDF	cfl reachability, container bloat, points-to analysis
9	Ross Tate, Juan Chen, Chris Hawblitzel	Inferable object-oriented typed assembly language.	PLDI	2010	DBLP DOI BibTeX RDF	existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler
9	Udo Steinberg, Bernhard Kauer	NOVA: a microhypervisor-based secure virtualization architecture.	EuroSys	2010	DBLP DOI BibTeX RDF	architecture, virtualization
9	Stijn Eyerman, Lieven Eeckhout	Probabilistic job symbiosis modeling for SMT processor scheduling.	ASPLOS	2010	DBLP DOI BibTeX RDF	simultaneous multi-threading (smt), symbiotic job scheduling, performance modeling
9	Adam C. Cabe, Zhenyu Qi, Mircea R. Stan	Stacking SRAM banks for ultra low power standby mode operation.	DAC	2010	DBLP DOI BibTeX RDF	stacked SRAM, low-power memory
9	T. J. O'Connor, Benjamin Sangster	honeyM: a framework for implementing virtual honeyclients for mobile devices.	WISEC	2010	DBLP DOI BibTeX RDF	mobile device security, gps, bluetooth, wifi, information assurance, wireless security
9	Kashi Venkatesh Vishwanath, Amin Vahdat	Swing: realistic and responsive network traffic generation.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	wavelet scaling, modeling, burstiness, traffic generator, structural model
9	Vilppu J. Tuominen, Jorma Isola	The Application of JPEG2000 in Virtual Microscopy.	J. Digit. Imaging	2009	DBLP DOI BibTeX RDF	JPIP, telepathology, digital pathology, virtual slide, JPEG2000
9	Ning Deng 0001, Yingke Xu, Deyu Sun, Panfang Hua, Xiaoxiang Zheng, Huilong Duan	Image Processing for Fusion Identification Between the GLUT4 Storage Vesicles and the Plasma Membrane.	J. Signal Process. Syst.	2009	DBLP DOI BibTeX RDF	Glucose transporter 4, Vesicle, TIRF imaging, Image segmentation, Fusion
9	Zena M. Ariola, Aaron Bohannon, Amr Sabry	Sequent calculi and abstract machines.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Krivine machine, duality, explicit substitutions, natural deduction, Curry-Howard isomorphism
9	Oliver Zheng, Jason Poon, Konstantin Beznosov	Application-based TCP hijacking.	EUROSEC	2009	DBLP DOI BibTeX RDF	TCP hijacking, Windows Live Messenger, application protocols, application-based TCP hijacking, packet injection
9	Devin Neal, H. Harry Asada	Nonlinear, large-strain PZT actuators using controlled structural buckling.	ICRA	2009	DBLP DOI BibTeX RDF
9	Hock-Beng Lim, Mudasser Iqbal, Teng Jie Ng	A virtualization framework for heterogeneous sensor network platforms.	SenSys	2009	DBLP DOI BibTeX RDF	sensor networks, middleware, virtualization
9	Jung Il Choi, Maria A. Kazandjieva, Mayank Jain, Philip Alexander Levis	The case for a network protocol isolation layer.	SenSys	2009	DBLP DOI BibTeX RDF	isolation layer, protocol isolation, wireless network architecture, fairness
9	Raghu Ramakrishnan 0001	Data Management in the Cloud.	ICDE	2009	DBLP DOI BibTeX RDF
9	Javier de Dios, Ricardo Peña-Marí	Formal Certification of a Resource-Aware Language Implementation.	TPHOLs	2009	DBLP DOI BibTeX RDF	memory management, functional languages, compiler verification
9	Oleg Museyko, Fabian Eisa, Andreas Hess 0001, Peter Zerfass, Willi A. Kalender, Klaus Engelke	Binary Segmentation Masks for Registration of Bone Structures in CT Images.	Bildverarbeitung für die Medizin	2009	DBLP DOI BibTeX RDF
9	Andreas Girgensohn, Frank M. Shipman III, Lynn Wilcox, Thea Turner, Matthew Cooper 0002	MediaGLOW: organizing photos in a graph-based workspace.	IUI	2009	DBLP DOI BibTeX RDF	photo organization, photo sharing, photo retrieval
9	Petr Krajca, Vilém Vychodil	Data parallel dialect of scheme: outline of the formal model, implementation, performance.	SAC	2009	DBLP DOI BibTeX RDF	functional programming, scheme, data parallelism, pushdown automata, implicit parallelism
9	Paolo Pagano, Francesco Piga, Yao Liang	Real-time multi-view vision systems using WSNs.	SAC	2009	DBLP DOI BibTeX RDF	multi-view vision, WSN, real-time operating system
9	Juan Carlos García, Stefan Beyer, Pablo Galdámez	Cross-layer cooperation between membership estimation and routing.	SAC	2009	DBLP DOI BibTeX RDF	group membership estimation, distributed systems, ad hoc networks, cross-layer, DSR
9	Niti Madan, Li Zhao 0002, Naveen Muralimanohar, Aniruddha N. Udipi, Rajeev Balasubramonian, Ravishankar R. Iyer 0001, Srihari Makineni, Donald Newell	Optimizing communication and capacity in a 3D stacked reconfigurable cache hierarchy.	HPCA	2009	DBLP DOI BibTeX RDF
9	Krists Zutis, Jesse Hoey	Who's Counting? Real-Time Blackjack Monitoring for Card Counting Detection.	ICVS	2009	DBLP DOI BibTeX RDF
9	Yuan Dong, Kai Ren, Shengyuan Wang, Suqin Zhang	Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine.	APLAS	2009	DBLP DOI BibTeX RDF
9	Marios Karagiannis, Ioannis Chatzigiannakis, José D. P. Rolim	WSNGE: a platform for simulating complex wireless sensor networks supporting rich network visualization and online interactivity.	SpringSim	2009	DBLP DOI BibTeX RDF	multiprotocol simulation, wireless sensor networks, network visualization
9	Jin Liu 0016, Fei Liu 0020, Xue Chen, Junfeng Wang	Automatic Construction of SP Problem-Solving Resource Space.	CloudCom	2009	DBLP DOI BibTeX RDF	Networked software, Resource space, Problem-solving resource, Software automation
9	Qing Li, Kip Macy	Optimizing the BSD routing system for parallel processing.	PRESTO	2009	DBLP DOI BibTeX RDF	arp, flow table, mp, neighbor cache, server load balancing (slb), smp, routing, synchronization, ipv6, freebsd, ip
9	Changbin Ji, Zhenyu Chen 0001, Baowen Xu, Ziyuan Wang	A New Mutation Analysis Method for Testing Java Exception Handling.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
9	Tarek Bchini, Nabil Tabbane, Emmanuel Chaput, Sami Tabbane, André-Luc Beylot	Interaction & handover between IEEE 802.16e and DVB-S/RCS using MSCTP protocol.	ISCC	2009	DBLP DOI BibTeX RDF
9	Guillaume Faure, Olivier Chapuis, Nicolas Roussel 0001	Power tools for copying and moving: useful stuff for your desktop.	CHI	2009	DBLP DOI BibTeX RDF	drag-and-drop, cut-and-paste, copy-and-paste
9	Kyung-Goo Doh, Hyunha Kim, David A. Schmidt	Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.	SAS	2009	DBLP DOI BibTeX RDF
9	Sherief Reda, Aung Si, R. Iris Bahar	Reducing the leakage and timing variability of 2D ICcs using 3D ICs.	ISLPED	2009	DBLP DOI BibTeX RDF	3D integrated circuit, timing, variability, leakage
9	Germán González, François Aguet, François Fleuret, Michael Unser, Pascal Fua	Steerable Features for Statistical 3D Dendrite Detection.	MICCAI (1)	2009	DBLP DOI BibTeX RDF
9	Shawn M. Douglas, Hendrik Dietz, Tim Liedl, Björn Högberg, Franziska Graf, Adam H. Marblestone, Surat Teerapittayanon, Alejandro Vazquez, George M. Church, William M. Shih	Design and self-assembly of DNA into nanoscale 3D shapes.	SIGGRAPH Talks	2009	DBLP DOI BibTeX RDF
9	Vasilis F. Pavlidis, Giovanni De Micheli	Power distribution paths in 3-D ICS.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	power distribution network, 3-D ICS, 3-D integration, through silicon vias
9	Amalia Cifor, Tony P. Pridmore, Alain Pitiot	Smooth 3-D Reconstruction for 2-D Histological Images.	IPMI	2009	DBLP DOI BibTeX RDF
9	Abraham Mukosi Mukwevho, John Andrew van der Poll, Robert Mark Jolliffe	A virtual integrated network emulator on XEN (viNEX).	SimuTools	2009	DBLP DOI BibTeX RDF	network simulation and emulation, simulators, computer networks, emulators
9	Wojciech Galuba, Karl Aberer, Zoran Despotovic, Wolfgang Kellerer	ProtoPeer: a P2P toolkit bridging the gap between simulation and live deployement.	SimuTools	2009	DBLP DOI BibTeX RDF	simulator, distributed systems, framework, prototyping, peer-to-peer systems, toolkit
9	Ke Yang, Bingsheng He, Qiong Luo 0001, Pedro V. Sander, Jiaoying Shi	Stack-based parallel recursion on graphics processors.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel, recursion, stack, graphics processors
9	Michal Wegiel, Chandra Krintz	Dynamic prediction of collection yield for managed runtimes.	ASPLOS	2009	DBLP DOI BibTeX RDF	reference bits, clustering, parallel, concurrent, operating system, garbage collection, yield prediction
9	XiaoFeng Wang 0001, Michael K. Reiter	A multi-layer framework for puzzle-based denial-of-service defense.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Denial of service, Network protocols, Client puzzles
9	John Keane 0001, Hanyong Eom, Tony Tae-Hyoung Kim, Sachin S. Sapatnekar, Chris H. Kim	Stack Sizing for Optimal Current Drivability in Subthreshold Circuits.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
9	Danny Hendler, Nir Shavit	Solo-valency and the cost of coordination.	Distributed Comput.	2008	DBLP DOI BibTeX RDF
9	Juan J. Ramos-Muñoz, Lidia Yamamoto, Christian F. Tschudin	Serial experiments online.	Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF	knowledge plane, runtime protocol switching, network architecture, autonomic network, network evolution, self-evaluation
9	Minsu Shin, Song Chong, Injong Rhee	Dual-resource TCP/AQM for processing-constrained networks.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	CPU capacity, TCP-AQM, proportional, transmission link capacity, fairness, efficiency
9	Hans Vandierendonck, André Seznec	Speculative return address stack management revisited.	ACM Trans. Archit. Code Optim.	2008	DBLP DOI BibTeX RDF	Return address prediction, back-up predictor, corruption detection
9	T. P. Ma	Novel electrical characterization for advanced CMOS gate dielectrics.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	MOS device, gate dielectrics, electrical characterization, IETS, PASHEI
9	Scott McMaster, Atif M. Memon	Call-Stack Coverage for GUI Test Suite Reduction.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Test coverage of code, Testing tools, Testing strategies, Test management
9	Taeho Kgil, Ali G. Saidi, Nathan L. Binkert, Steven K. Reinhardt, Krisztián Flautner, Trevor N. Mudge	PicoServer: Using 3D stacking technology to build energy efficient servers.	ACM J. Emerg. Technol. Comput. Syst.	2008	DBLP DOI BibTeX RDF	3D stacking technology, Tier-1/2/3 server, Low power, chip multiprocessor, full-system simulation
9	Hongwei Li, Chi-Wing Fu, Andrew J. Hanson	Visualizing Multiwavelength Astrophysical Data.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
9	Jennis Meyer-Spradow, Lars Stegger, Christian Döring, Timo Ropinski, Klaus H. Hinrichs	Glyph-Based SPECT Visualization for the Diagnosis of Coronary Artery Disease.	IEEE Trans. Vis. Comput. Graph.	2008	DBLP DOI BibTeX RDF
9	Weihang Jiang, Chongfeng Hu, Yuanyuan Zhou 0001, Arkady Kanevsky	Are disks the dominant contributor for storage failures - A comprehensive study of storage subsystem failure characteristics.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	failure characteristics, storage subsystem, Storage system, disk failures
9	Westley Weimer, George C. Necula	Exceptional situations and program reliability.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	compensating transactions, linear sagas, linear types, resource management, Error handling
9	Tom Killalea	Meet the Virts.	ACM Queue	2008	DBLP DOI BibTeX RDF
9	Nhat Vu, B. S. Manjunath	Graph cut segmentation of neuronal structures from transmission electron micrographs.	ICIP	2008	DBLP DOI BibTeX RDF
9	Rui Jorge Rei, Mikio Kubo, João Pedro Pedroso	Simulation-Based Optimization for Steel Stacking.	MCO	2008	DBLP DOI BibTeX RDF
9	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Tian He 0001	The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks.	IPSN	2008	DBLP DOI BibTeX RDF	LiteOS, wireless sensor networks, operating system
9	Sebastiaan Wielens, Michael Galetzka, Peter Schneider	Design support for Wireless Sensor Networks based on the IEEE 802.15.4 standard.	PIMRC	2008	DBLP DOI BibTeX RDF
9	Mike Paterson, Yuval Peres, Mikkel Thorup, Peter Winkler 0001, Uri Zwick	Maximum overhang.	SODA	2008	DBLP BibTeX RDF
9	Keith So	Enforcing long-path timing closure for FPGA routing with path searches on clamped lexicographic spirals.	FPGA	2008	DBLP DOI BibTeX RDF	lexicographic search, negotiated congestion, timing-driven routing, FPGA
9	Michael Scharf, Haiko Strotbek	Performance Evaluation of Quick-Start TCP with a Linux Kernel Implementation.	Networking	2008	DBLP DOI BibTeX RDF
9	Stephan Preibisch, Radoslaw Ejsmont, Torsten Rohlfing, Pavel Tomancak	Towards digital representation of Drosophila embryogenesis.	ISBI	2008	DBLP DOI BibTeX RDF
9	Praveen Pankajakshan, Bo Zhang 0017, Laure Blanc-Féraud, Zvi Kam, Jean-Christophe Olivo-Marin, Josiane Zerubia	Blind deconvolution for diffraction-limited fluorescence microscopy.	ISBI	2008	DBLP DOI BibTeX RDF
9	Olaf Ronneberger, Qing Wang 0052, Hans Burkhardt	Fast and robust segmentation of spherical particles in volumetric data sets from brightfield microscopy.	ISBI	2008	DBLP DOI BibTeX RDF
9	Gabriel Corkidi, Blanca Taboada, Christopher D. Wood, Adán Guerrero, Alberto Darszon	Three-dimensional image acquisition system for multi-sperm tracking.	ISBI	2008	DBLP DOI BibTeX RDF
9	Jonas Rox, Rolf Ernst	Modeling Event Stream Hierarchies with Hierarchical Event Models.	DATE	2008	DBLP DOI BibTeX RDF
9	Muhammad Najam-ul-Islam, Rizwan Rasheed, Renaud Pacalet, Raymond Knopp, Karim Khalfallah	Flexible Baseband Architectures for Future Wireless Systems.	DSD	2008	DBLP DOI BibTeX RDF
9	Jiang Li 0010, Junhu Wang	Fast Matching of Twig Patterns.	DEXA	2008	DBLP DOI BibTeX RDF
9	Seetharami R. Seelam, I-Hsin Chung, Guojing Cong, Hui-Fang Wen, David J. Klepacki	Workload Performance Characterization of DARPA HPCS Benchmarks.	HPCC	2008	DBLP DOI BibTeX RDF
9	Grzegorz Polaków, Mieczyslaw Metzger	ppPDC Communication Framework - A New Tool for Distributed Robotics.	SIMPAR	2008	DBLP DOI BibTeX RDF	middleware for robotics, producer-distributor-consumer, real-time ethernet, communication infrastructure, distributed robotics
9	Gregor Schiele, Marcus Handte, Christian Becker 0001	Experiences in Designing an Energy-Aware Middleware for Pervasive Computing.	PerCom	2008	DBLP DOI BibTeX RDF
9	Stephan Heckmüller, Bernd E. Wolfinger	Using Load Transformations to Predict the Impact of Packet Fragmentation and Losses on Markovian Arrival Processes.	ASMTA	2008	DBLP DOI BibTeX RDF