Search results for "stack"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Ravi Sahita, Uday R. Savagaonkar, Prashant Dewan, David Durham	Mitigating the Lying-Endpoint Problem in Virtualized Network Access Frameworks.	DSOM	2007	DBLP DOI BibTeX RDF	Network Access Framework, Lying Endpoint, Virtualization, Memory Protections
12	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
12	Akira Imada	Finding a Needle in a Haystack: From Baldwin Effect to Quantum Computation.	CISIM	2007	DBLP DOI BibTeX RDF
12	Mingzhong Wang, Kotagiri Ramamohanarao, Amy Unruh	Utilizing BDI Features for Transactional Agent Execution.	IAT	2007	DBLP DOI BibTeX RDF
12	Deyu Zhou, Yulan He 0001, Chee Keong Kwoh 0001	Training the Hidden Vector State Model from Un-annotated Corpus.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	Hidden Vector State Model, information extraction, protein-protein interactions
12	Graham Hughes, Tevfik Bultan	Interface grammars for modular software model checking.	ISSTA	2007	DBLP DOI BibTeX RDF	interface grammars, model checking, modular verification
12	Jia Zou 0001, Yiqi Dai	Motivating and Modeling SIP Offload.	ICCCN	2007	DBLP DOI BibTeX RDF
12	Todd A. Anderson 0001, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang	Pillar: A Parallel Implementation Language.	LCPC	2007	DBLP DOI BibTeX RDF
12	Eugenio Culurciello, Pujitha Weerakoon	Vertically-Integrated Three-Dimensional SOI Photodetectors.	ISCAS	2007	DBLP DOI BibTeX RDF
12	Jong-Hyouk Lee, Joong-Hee Lee, Tai-Myoung Chung	An Adaptive Inter-Mobility Supports Scheme for NetLMM.	ICSNC	2007	DBLP DOI BibTeX RDF
12	Bala Iyer, Chi-Hyon Lee, David Dreyfus	Competing in the Era of Emergent Architecture: The Case of Packaged Software Industry.	HICSS	2007	DBLP DOI BibTeX RDF
12	Balaji Rajappa, Yusuf Motiwala	Message Based Redundancy Approach using Totem Protocol for Telecom Applications and Protocol Stacks.	COMSWARE	2007	DBLP DOI BibTeX RDF
12	Hugh Anderson, Siau-Cheng Khoo, Yijie Liu	A Tool for Calculating Exponential Run-Time Properties.	SYNASC	2007	DBLP DOI BibTeX RDF
12	Klaus Aehlig, Stephen A. Cook, Phuong Nguyen	Relativizing Small Complexity Classes and Their Theories.	CSL	2007	DBLP DOI BibTeX RDF
12	Beat F. Schmid, Christoph Schroth, Till Janner	A Hybrid Architecture for Highly Adaptive and Automated e-Business Platforms.	IEEE SCC	2007	DBLP DOI BibTeX RDF
12	Vikas Chaudhary, Lawrence T. Clark	Low-power high-performance nand match line content addressable memories.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
12	Hajime Inoue, Darko Stefanovic, Stephanie Forrest	On the Prediction of Java Object Lifetimes.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	Object lifetimes, pretenuring, garbage collection, workload characterization, program behavior, object-oriented programming languages
12	Mihaela van der Schaar, Deepak S. Turaga, Raymond Wong	Classification-Based System For Cross-Layer Optimized Wireless Video Transmission.	IEEE Trans. Multim.	2006	DBLP DOI BibTeX RDF
12	Patricia M. Hill, Fausto Spoto	Deriving escape analysis by abstract interpretation.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Garbage collection, Abstract interpretation, Denotational semantics
12	Yue Pan, Guo Tong Xie, Li Ma 0002, Yang Yang 0041, Zhaoming Qiu, Juhnyoung Lee	Model-Driven Ontology Engineering.	J. Data Semantics	2006	DBLP DOI BibTeX RDF	Semantic Web, model-driven architecture, ontology engineering
12	Guy Pujolle, Hakima Chaouchi, Dominique Gaïti	A global architecture for the Wi-family.	Telecommun. Syst.	2006	DBLP DOI BibTeX RDF	Architecture, Agent, WiMax, Wi-Fi, Autonomic
12	M. Teresa Higuera-Toledano	Analyzing the Memory Management Semantic and Requirements of the Real-time Specification of Java JSR-0000001.	ISORC	2006	DBLP DOI BibTeX RDF
12	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia 0001, Paulo Veríssimo	Randomized Intrusion-Tolerant Asynchronous Services.	DSN	2006	DBLP DOI BibTeX RDF
12	Zhewei Jiang, Cheng Luo, Wen-Chi Hou	An efficient one-phase holistic twig join algorithm for XML data.	CIKM	2006	DBLP DOI BibTeX RDF	XML, query optimization, twig query
12	Se Hun Kim, Vincent John Mooney	Sleepy Keeper: a New Approach to Low-leakage Power VLSI Design.	VLSI-SoC	2006	DBLP DOI BibTeX RDF
12	Bryan Black, Murali Annavaram, Ned Brekelbaum, John DeVale, Lei Jiang, Gabriel H. Loh, Don McCaule, Patrick Morrow, Donald W. Nelson, Daniel Pantuso, Paul Reed, Jeff Rupley, Sadasivan Shankar, John Paul Shen, Clair Webb	Die Stacking (3D) Microarchitecture.	MICRO	2006	DBLP DOI BibTeX RDF
12	Vijay Sundaresan, Daryl Maier, Pramod Ramarao, Mark G. Stoodley	Experiences with Multi-threading and Dynamic Class Loading in a Java Just-In-Time Compiler.	CGO	2006	DBLP DOI BibTeX RDF
12	Dietrich Kuske, Markus Lohrey	Monadic Chain Logic Over Iterations and Applications to Pushdown Systems.	LICS	2006	DBLP DOI BibTeX RDF
12	Gérard P. Huet, Benoît Razet	The Reactive Engine for Modular Transducers.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
12	Janne Lindqvist, Laura Takkinen	Privacy management for secure mobility.	WPES	2006	DBLP DOI BibTeX RDF	privacy, mobility, authentication, host identity protocol
12	Umberto Malesci, Samuel Madden 0001	A Measurement-Based Analysis of the Interaction Between Network Layers in TinyOS.	EWSN	2006	DBLP DOI BibTeX RDF
12	M. Teresa Higuera-Toledano	Towards an analysis of race carrier conditions in real-time Java.	IPDPS	2006	DBLP DOI BibTeX RDF
12	Andrea Bottoni, Gianluca Dini, Evangelos Kranakis	Credentials and Beliefs in Remote Trusted Platforms Attestation.	WOWMOM	2006	DBLP DOI BibTeX RDF
12	Yunhe Shi, Emre Özer 0001, David Gregg	Low-Cost Microarchitectural Techniques for Enhancing the Prediction of Return Addresses on High-Performance Trace Cache Processors.	ISCIS	2006	DBLP DOI BibTeX RDF
12	Gaurav Gupta 0002, Josef Pieprzyk	A Low-Cost Attack on Branch-Based Software Watermarking Schemes.	IWDW	2006	DBLP DOI BibTeX RDF	unconditional branch, watermark, software, breakpoint
12	Manish Parashar, Vincent Matossian, Hector Klie, Sunil G. Thomas, Mary F. Wheeler, Tahsin M. Kurç, Joel H. Saltz, Roelof Versteeg	Towards Dynamic Data-Driven Management of the Ruby Gulch Waste Repository.	International Conference on Computational Science (3)	2006	DBLP DOI BibTeX RDF
12	Philip M. Papadopoulos	Building Cyber-Infrastructure for the Biomedical Informatics Research Network.	CCGRID	2006	DBLP DOI BibTeX RDF
12	Vince Bárány, Christof Löding, Olivier Serre	Regularity Problems for Visibly Pushdown Languages.	STACS	2006	DBLP DOI BibTeX RDF
12	Huu-Duc Nguyen, Atsushi Ohori	Compiling ML polymorphism with explicit layout bitmap.	PPDP	2006	DBLP DOI BibTeX RDF	type-directed compilation, garbage collection, memory management, polymorphism
12	Lucia Silva, Bala Iyer	Using Software Stacks to Explain Complementarities: The Case of Mergers and Acquisitions in the Software Industry.	HICSS	2006	DBLP DOI BibTeX RDF
12	Kiran Puttaswamy, Gabriel H. Loh	Dynamic instruction schedulers in a 3-dimensional integration technology.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	3D technology, instruction scheduler
12	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001	Reachability in Recursive Markov Decision Processes.	CONCUR	2006	DBLP DOI BibTeX RDF
12	Md. Musfiquzzaman Akanda, Ben A. Abderazek, Masahiro Sowa	On the Design of a Dual-Execution Modes Processor: Architecture and Preliminary Evaluation.	ISPA Workshops	2006	DBLP DOI BibTeX RDF
12	Stephen L. Scott, Thomas J. Naughton, Geoffroy Vallée	OSCAR - OSCAR community meeting.	SC	2006	DBLP DOI BibTeX RDF
12	Robert B. Ross, Rajeev Thakur, William Loewe, Robert Latham	M02 - Parallel I/O in practice.	SC	2006	DBLP DOI BibTeX RDF
12	Jaeho Kang, Kwang Ryel Ryu, Kap Hwan Kim	Determination of Storage Locations for Incoming Containers of Uncertain Weight.	IEA/AIE	2006	DBLP DOI BibTeX RDF
12	Michal Lentner, Krzysztof Stencel, Kazimierz Subieta	Semi-strong Static Type Checking of Object-Oriented Query Languages.	SOFSEM	2006	DBLP DOI BibTeX RDF
12	Philip W. L. Fong, Simon A. Orr	A Module System for Isolating Untrusted Software Extensions.	ACSAC	2006	DBLP DOI BibTeX RDF
12	Dror Goldenberg, Tzachi Dar, Gilad Shainer	Architecture and Implementation of Sockets Direct Protocol in Windows.	CLUSTER	2006	DBLP DOI BibTeX RDF
12	John Keane 0001, Hanyong Eom, Tony Tae-Hyoung Kim, Sachin S. Sapatnekar, Chris H. Kim	Subthreshold logical effort: a systematic framework for optimal subthreshold device sizing.	DAC	2006	DBLP DOI BibTeX RDF	subthreshold logic, ultra-low power design, logical effort
12	Kuei-Chung Chang, Jih-Sheng Shen, Tien-Fu Chen	Evaluation and design trade-offs between circuit-switched and packet-switched NOCs for application-specific SOCs.	DAC	2006	DBLP DOI BibTeX RDF	application-specific designs, low-power, NOC, SOC
12	Francisco Curbera	A Programming Model for Service Oriented Applications.	FASE	2006	DBLP DOI BibTeX RDF
12	Akash Lal, Thomas W. Reps, Gogul Balakrishnan	Extended Weighted Pushdown Systems.	CAV	2005	DBLP DOI BibTeX RDF
12	Iuliu Vasilescu, Keith Kotay, Daniela Rus, Matthew Dunbabin, Peter I. Corke	Data collection, storage, and retrieval with an underwater sensor network.	SenSys	2005	DBLP DOI BibTeX RDF	data muling, mobile sensor networks, underwater networks
12	Sulaiman Syed Mohamed, Asaad A. Y. Malik Abusin, David Chieng	Evaluation of IPv6 and Comparative Study with Different Operating Systems.	ICITA (2)	2005	DBLP DOI BibTeX RDF	Windows2003, Redhat9.0 and FreeBSD4.9, Internet, Performance, IPv6
12	Allan Borodin, David Cashman, Avner Magen	How Well Can Primal-Dual and Local-Ratio Algorithms Perform?.	ICALP	2005	DBLP DOI BibTeX RDF
12	Lei Wang, James R. Cordy, Thomas R. Dean	Enhancing Security Using Legality Assertions.	WCRE	2005	DBLP DOI BibTeX RDF
12	Huaqun Guo, Lek Heng Ngoh, Wai-Choong Wong	DINloop based inter-domain multicast with MPLS.	IPCCC	2005	DBLP DOI BibTeX RDF
12	Yu Xu, Yannis Papakonstantinou	Efficient Keyword Search for Smallest LCAs in XML Databases.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
12	Hagit Attiya, Danny Hendler	Time and Space Lower Bounds for Implementations Using k-CAS.	DISC	2005	DBLP DOI BibTeX RDF
12	Vipul Gupta, Matthew Millard, Stephen Fung, Yu Zhu, Nils Gura, Hans Eberle, Sheueling Chang Shantz	Sizzle: A Standards-Based End-to-End Security Architecture for the Embedded Internet (Best Paper).	PerCom	2005	DBLP DOI BibTeX RDF
12	Saneyasu Yamaguchi, Masato Oguchi, Masaru Kitsuregawa	Trace System of iSCSI Storage Access.	SAINT	2005	DBLP DOI BibTeX RDF
12	Manshan Lin, Heqing Guo, Jianfei Yin	Goal Description Language for Semantic Web Service Automatic Composition.	SAINT	2005	DBLP DOI BibTeX RDF
12	Saneyasu Yamaguchi, Masato Oguchi, Masaru Kitsuregawa	Trace System of iSCSI Storage Access and Performance Improvement.	DASFAA	2005	DBLP DOI BibTeX RDF
12	Guy Pujolle	The Architecture of the Future Wireless Internet.	AINTEC	2005	DBLP DOI BibTeX RDF
12	Stefan Böttcher, Christian Dannewitz	Service Composition on Top of Exchangable Protocols.	HICSS	2005	DBLP DOI BibTeX RDF
12	Neha Rungta, Eric G. Mercer	A context-sensitive structural heuristic for guided search model checking.	ASE	2005	DBLP DOI BibTeX RDF	structural heuristics, guided search
12	Michael Defoin-Platel, Malik Chami, Manuel Clergue, Philippe Collard	Teams of Genetic Predictors for Inverse Problem Solving.	EuroGP	2005	DBLP DOI BibTeX RDF
12	Ana Petrovic, Òscar Divorra Escoda, Pierre Vandergheynst	Multiresolution segmentation of natural images: from linear to nonlinear scale-space representations.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
12	Olivier Danvy	A Rational Deconstruction of Landin's SECD Machine.	IFL	2004	DBLP DOI BibTeX RDF
12	Sergio Pérez 0003, Joan Vila, Jose A. Alegre, Josep V. Sala	A CORBA Based Architecture for Distributed Embedded Systems Using the RTLinux-GPL Platform.	ISORC	2004	DBLP DOI BibTeX RDF
12	Ge Zhu, Akhilesh Tyagi	Protection against Indirect Overflow Attacks on Pointers.	IWIA	2004	DBLP DOI BibTeX RDF
12	Sigmund Cherem, Radu Rugina	Region analysis and transformation for Java programs.	ISMM	2004	DBLP DOI BibTeX RDF	program transformations, pointer analysis, region-based memory management
12	Juha Alakarhu, Jarkko Niittylahti	Scalar Metric for Temporal Locality and Estimation of Cache Performance.	DATE	2004	DBLP DOI BibTeX RDF
12	Mitsuo Wakatsuki, Kiyoshi Teraguchi, Etsuji Tomita	Polynomial Time Identification of Strict Deterministic Restricted One-Counter Automata in Some Class from Positive Data.	ICGI	2004	DBLP DOI BibTeX RDF
12	Rajiv Chakravorty, Suman Banerjee 0001, Pablo Rodriguez 0001, Julian Chesterfield, Ian Pratt 0001	Performance optimizations for wireless wide-area networks: comparative study and experimental evaluation.	MobiCom	2004	DBLP DOI BibTeX RDF	CDMA 2000, multi-layer performance optimizations, TCP, HTTP, UMTS, proxy, 3G, GPRS, cellular, cross-layer interactions
12	Hossam A. ElGindy, George Ferizis	Mapping Basic Recursive Structures to Runtime Reconfigurable Hardware.	FPL	2004	DBLP DOI BibTeX RDF
12	Chun Jin, Xinlu Liu, Peng Gao	An Intelligent Simulation Method Based on Artificial Neural Network for Container Yard Operation.	ISNN (2)	2004	DBLP DOI BibTeX RDF
12	Mitsuru Kanda, Kazunori Miyazawa, Hiroshi Esaki	USAGI IPv6 IPsec Development for Linux.	SAINT Workshops	2004	DBLP DOI BibTeX RDF
12	Sapan Bhatia, Charles Consel, Calton Pu	Remote customization of systems code for embedded devices.	EMSOFT	2004	DBLP DOI BibTeX RDF	remote customization, remote specialization, specialization server
12	Ingo Gruber, Rüdiger Schollmeier, Wolfgang Kellerer	Performance evaluation of the mobile peer-to-peer service.	CCGRID	2004	DBLP DOI BibTeX RDF
12	Stefan Böttcher, Christian Dannewitz	A Task-Oriented Reconfigurable Software Architecture for e-Commerce Document Exchange.	HICSS	2004	DBLP DOI BibTeX RDF
12	Fadi Busaba, Timothy J. Slegel, Steven R. Carlough, Christopher A. Krygowski, John G. Rell	The design of the fixed point unit for the z990 microprocessor.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	superscalar FXU, microprocessor
12	Rajeev Alur, P. Madhusudan	Visibly pushdown languages.	STOC	2004	DBLP DOI BibTeX RDF	?-languages, verification, logic, context-free languages, pushdown automata, regular tree languages
12	Gábor Gosztolya, András Kocsor	Aggregation Operators and Hypothesis Space Reductions in Speech Recognition.	TSD	2004	DBLP DOI BibTeX RDF	speech recognition, aggregation operators, search methods
12	Rahul M. Rao, Jeffrey L. Burns, Richard B. Brown	Analysis and Optimization of Enhanced MTCMOS Scheme.	VLSI Design	2004	DBLP DOI BibTeX RDF
12	Keith B. Gallagher	Some Notes on Interprocedural Program Slicing.	SCAM	2004	DBLP DOI BibTeX RDF
12	Mads Sig Ager	From Natural Semantics to Abstract Machines.	LOPSTR	2004	DBLP DOI BibTeX RDF
12	Anindya Banerjee 0001, David A. Naumann	History-Based Access Control and Secure Information Flow.	CASSIS	2004	DBLP DOI BibTeX RDF
12	Federico D. Sacerdoti, Sandeep Chandra, Karan Bhatia	Grid systems deployment & management using Rocks.	CLUSTER	2004	DBLP DOI BibTeX RDF
12	Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur, Calton Pu	Automatic Specialization of Protocol Stacks.	LCN	2004	DBLP DOI BibTeX RDF
12	Ruppert R. Koch, Sanjay Hortikar, Louise E. Moser, P. M. Melliar-Smith	Transparent TCP Connection Failover.	DSN	2003	DBLP DOI BibTeX RDF
12	Carey L. Williamson	Wireless Internet: Protocols and Performance.	MASCOTS Tutorials	2003	DBLP DOI BibTeX RDF
12	Keith H. Bennett, Nicolas Gold, Paul J. Layzell 0001, Fujun Zhu, Pearl Brereton, David Budgen, John A. Keane, Ioannis Kotsiopoulos, Mark Turner 0001, Jie Xu 0007, Orouba Almilaji, Jung-Ching Chen, Ali Owrak	A Broker Architecture for Integrating Data Using a Web Services Environment.	ICSOC	2003	DBLP DOI BibTeX RDF
12	M. Teresa Higuera-Toledano	Hardware-Based Solution Detecting Illegal References in Real-Time Java.	ECRTS	2003	DBLP DOI BibTeX RDF
12	Cormac Flanagan, Shaz Qadeer	Thread-Modular Model Checking.	SPIN	2003	DBLP DOI BibTeX RDF
12	Adrian Johnstone, Elizabeth Scott	Generalised Regular Parsers.	CC	2003	DBLP DOI BibTeX RDF
12	V. V. N. S. Sarvani, R. Govindarajan	Unified Instruction Reordering and Algebraic Transformations for Minimum Cost Offset Assignment.	SCOPES	2003	DBLP DOI BibTeX RDF
12	Peter Bellows, Jaroslav Flidr, Ladan Gharai, Colin Perkins, Pawel Chodowiec, Kris Gaj	IPsec-Protected Transport of HDTV over IP.	FPL	2003	DBLP DOI BibTeX RDF
12	César Bravo, João José Neto	Building Context-Sensitive Parsers from CF Grammars with Regular Control Language.	CIAA	2003	DBLP DOI BibTeX RDF