Search results for "single entry"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Wen-Ke Chen, Bengu Li, Rajiv Gupta	Code Compaction of Matching Single-Entry Multiple-Exit Regions.	SAS	2003	DBLP DOI BibTeX RDF	single-entry-multiple-exit regions, control flow signature, Code compaction, predicated execution
2	Neeta Verma, Alka Mishra, Sonal Kalra	india.gov.in -- The National Portal of India: India's answer to single entry national portals.	DG.O	2008	DBLP DOI BibTeX RDF	government portal, government services, national portal, e-governance, e-government, information, e-participation, good governance
2	Hajime Kitakami, Tadasu Shin-I, Kazuho Ikeo, Yoshihiro Ugawa, Naruya Saitou, Takashi Gojobori, Yoshio Tateno	YAMATO and ASUKA: DNA database management system.	HICSS	1995	DBLP DOI BibTeX RDF	DNA database management system, YAMATO, ASUKA, DDBJ, window interfaces, DDBJ-schema, single entry, Human Genome Project, flat file format, restructuring tool, tree search tool, taxonomy database, structured SQL-programming method, control flow language, SQL expression, SYBASE, DNA Data Bank of Japan, user interfaces, searching, query processing, relational databases, SQL, DNA, tree data structures, genetics, biology computing, relational database management system, relational schema
1	Neeta Verma, Alka Mishra	india.gov.in - India's approach in constructing one-stop-solution towards e-government.	ICEGOV	2009	DBLP DOI BibTeX RDF	government portal, government services, government to business (G2B), government to citizen (G2C), government to employee (G2E) and government to government (G2G), national portal, one-stop government, e-governance, e-government, good governance
1	Efe Yardimci, Michael Franz	Mostly static program partitioning of binary executables.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	Continuous compilation and optimization, dynamic parallelization, binary translation
1	Jijie Xu, Vincent Duindam, Ron Alterovitz, Jean Pouliot, J. Adam M. Cunha, I-Chow Hsu, Kenneth Y. Goldberg	Planning fireworks trajectories for steerable medical needles to reduce patient trauma.	IROS	2009	DBLP DOI BibTeX RDF
1	Tyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek	Learning Heuristics for the Superblock Instruction Scheduling Problem.	IEEE Trans. Knowl. Data Eng.	2009	DBLP DOI BibTeX RDF
1	Jussi Vanhatalo, Hagen Völzer, Jana Koehler	The Refined Process Structure Tree.	BPM	2008	DBLP DOI BibTeX RDF	Workflow graph parsing, Model decomposition, BPMN to BPEL translation/ roundtripping, Subprocess detection, Graph theory, Control flow
1	Luciano García-Bañuelos	Pattern Identification and Classification in the Translation from BPMN to BPEL.	OTM Conferences	2008	DBLP DOI BibTeX RDF
1	Abid M. Malik, Tyrel Russell, Michael Chase, Peter van Beek	Learning heuristics for basic block instruction scheduling.	J. Heuristics	2008	DBLP DOI BibTeX RDF	List scheduling heuristics, Machine learning, Instruction scheduling
1	Daron Acemoglu, Ramesh Johari, Asuman E. Ozdaglar	Partially Optimal Routing.	IEEE Journal on Selected Areas in Communications	2007	DBLP DOI BibTeX RDF
1	Pedro M. Crespo, Jesús Gutiérrez-Gutiérrez	On the Elementwise Convergence of Continuous Functions of Hermitian Banded Toeplitz Matrices.	IEEE Transactions on Information Theory	2007	DBLP DOI BibTeX RDF
1	Jussi Vanhatalo, Hagen Völzer, Frank Leymann	Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition.	ICSOC	2007	DBLP DOI BibTeX RDF
1	Pietro Ciciriello, Luca Mottola, Gian Pietro Picco	Building virtual sensors and actuators over logical neighborhoods.	MidSens	2006	DBLP DOI BibTeX RDF	wireless sensor networks, middleware, abstractions
1	Abid M. Malik, Jim McInnes, Peter van Beek	Optimal Basic Block Instruction Scheduling for Multiple-Issue Processors Using Constraing Programming.	ICTAI	2006	DBLP DOI BibTeX RDF
1	Rob Peters, Pim Jorg, Marco Meesters, Marcel Hoogwout, Edwin Stuart	Maintaining data-integrity in the back office registries of cities; a survey on organizational barriers and ways to address.	ARES	2006	DBLP DOI BibTeX RDF
1	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling out-of-order processors for WCET analysis.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	Worst-case execution time (WCET) analysis, Out-of-order superscalar processor, Branch prediction, Instruction cache
1	Tyrel Russell, Abid M. Malik, Michael Chase, Peter van Beek	Learning basic block scheduling heuristics from optimal data.	CASCON	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Darko Marinov, Gul Agha	CUTE: a concolic unit testing engine for C.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	data structure testing, explicit path model-checking, random testing, unit testing, testing C programs, concolic testing
1	Xin Li, Zhenzhou Ji, Ming-Zeng Hu	Stateful Inspection Firewall Session Table Processing.	ITCC	2005	DBLP DOI BibTeX RDF
1	Rajeev Alur, Viraj Kumar, P. Madhusudan, Mahesh Viswanathan	Congruences for Visibly Pushdown Languages.	ICALP	2005	DBLP DOI BibTeX RDF
1	Lian Li 0002, Jingling Xue	A trace-based binary compilation framework for energy-aware computing.	LCTES	2004	DBLP DOI BibTeX RDF	energy optimisation, link-time optimisation, profile-guided optimisation, trace, binary translation
1	Adam Hunter, David Schibeci, Hong Liang Hiew, Matthew I. Bellgard	GRID-enabled bioinformatics applications for comparative genomic analysis at the CBBC.	CLUSTER	2004	DBLP DOI BibTeX RDF
1	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling Out-of-Order Processors for Software Timing Analysis.	RTSS	2004	DBLP DOI BibTeX RDF
1	Fubo Zhang, Erik H. D'Hollander	Using Hammock Graphs to Structure Programs.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	optimization, parallel processing, compilers, Program transformation, structured programming, correctness proofs, software/program verification
1	Karl Solchenbach	From Science to Enterprise - Intel's Grid Activities.	GCC	2004	DBLP DOI BibTeX RDF
1	Yang Liu, Zhaoqing Zhang, Ruliang Qiao, Roy Dz-Ching Ju	A Region-Based Compilation Infrastructure.	Interaction between Compilers and Computer Architectures	2003	DBLP DOI BibTeX RDF	Single-Entry-Multiple-Exit (SEME) Region, Multiple-Entry-Multiple-Exit (MEME) Region and Compiler Optimization, Region, Interval
1	Kristopher C. Breen, Duncan G. Elliott	Aliasing and anti-aliasing in branch history table prediction.	SIGARCH Computer Architecture News	2003	DBLP DOI BibTeX RDF
1	Günter Karjoth	Access control with IBM Tivoli access manager.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	WWW security, Access control, Web servers, authorization management
1	Bin Huang, Xiaoning Peng, Nong Xiao, Bo Liu	A High-Performance Intelligent Integrated Data Services System in Data Grid.	GCC	2003	DBLP DOI BibTeX RDF
1	Stephen Chong, Radu Rugina	Static Analysis of Accessed Regions in Recursive Data Structures.	SAS	2003	DBLP DOI BibTeX RDF
1	Patty Kostkova, Jane Mani-Saada, Julius R. Weinberg	Distributed Search in National electronic Library for Health .	ICPP Workshops	2002	DBLP DOI BibTeX RDF
1	Mauro Brunato, Roberto Battiti, Elio Salvadori	Load Balancing in WDM Networks through Adaptive Routing Table Changes.	NETWORKING	2002	DBLP DOI BibTeX RDF	dynamic traffic, load balancing, local search, WDM
1	Phillip Stanley-Marbell, Michael S. Hsiao, Ulrich Kremer	A Hardware Architecture for Dynamic Performance and Energy Adaptation.	PACS	2002	DBLP DOI BibTeX RDF
1	Benoît Otjacques	A Proposal for a Structured Database in the Complex World of Standards: What about a Structured Single Entry Point to the Standardization World?	Electronic Markets	2001	DBLP BibTeX RDF
1	Günter Karjoth	The Authorization Service of Tivoli Policy Director.	ACSAC	2001	DBLP DOI BibTeX RDF
1	Sanjay J. Patel, Steven Lumetta	rePLay: A Hardware Framework for Dynamic Optimization.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	High-performance microarchitecture, dynamic optimization, trace caches
1	Huiyang Zhou, Matthew D. Jennings, Thomas M. Conte	Tree Traversal Scheduling: A Global Instruction Scheduling Technique for VLIW/EPIC Processors.	LCPC	2001	DBLP DOI BibTeX RDF
1	Paul Havlak	Nesting of Reducible and Irreducible Loops.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	reducible loops, strongly-connected regions
1	Vugranam C. Sreedhar, Guang R. Gao, Yong-Fong Lee	Identifying Loops Using DJ Graphs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	DJ graphs, Tarjan's interval, irreducible flowgraphs, reducible flowgraphs, dominator trees
1	Richard Johnson, David Pearson, Keshav Pingali	The Program Structure Tree: Computing Control Regions in Linear Time.	PLDI	1994	DBLP DOI BibTeX RDF
1	Zahira Ammarguellat	A Control-Flow Normalization Algorithm and Its Complexity.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	control-flow normalization algorithm, control flowgraphs, control-flow cycles, GOTOs, node-splitting techniques, control dependence relations, parallel algorithms, computational complexity, complexity, graph theory, automatic parallelization, structured programming, syntax tree
1	Gerard McCartney	Organizing for users.	SIGUCCS	1989	DBLP DOI BibTeX RDF
1	Ken Kennedy, Linda Zucconi	Applications of Graph Grammar for Program Control Flow Analysis.	POPL	1977	DBLP DOI BibTeX RDF
1	Matthew S. Hecht, Jeffrey D. Ullman	Characterizations of Reducible Flow Graphs.	J. ACM	1974	DBLP DOI BibTeX RDF
1	David Pager	Further Results on the Problem of Finding Minimal Length Programs for Decision Tables.	J. ACM	1974	DBLP DOI BibTeX RDF