The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for scopes with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1975-1995 (15) 1996-2000 (16) 2001-2002 (43) 2003 (45) 2004 (32) 2005 (37) 2006 (26) 2007 (56) 2008 (42) 2009 (27) 2010 (23) 2011-2012 (24) 2013 (20) 2014 (20) 2015 (35) 2016 (35) 2017 (17) 2018 (29) 2019 (32) 2020 (22) 2021-2022 (26) 2023 (6)
Publication types (Num. hits)
article(56) book(1) incollection(15) inproceedings(536) phdthesis(1) proceedings(19)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 323 occurrences of 275 keywords

Results
Found 629 publication records. Showing 628 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
41Edson B. Lisboa, Luciano Silva, Igino Chaves, Thiago Lima, Edna Barros A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Jens Brandt 0001, Klaus Schneider 0001 Separate compilation for synchronous programs. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Andreas Dahlin, Johan Ersfolk, Guyfu Yang, Haitham Habli, Johan Lilius The canals language and its compiler. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41David Ryan Koes, Seth Copen Goldstein Register allocation deconstructed. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Florian Kluge, Chenglong Yu, Jörg Mische, Sascha Uhrig, Theo Ungerer Implementing AUTOSAR scheduling and resource management on an embedded SMT processor. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Jan Olaf Blech, Michaël Périn Certifying deadlock-freedom for BIP models. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Paul Lokuciejewski, Fatih Gedikli, Peter Marwedel Accelerating WCET-driven optimizations by the invariant path paradigm: a case study of loop unswitching. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Reinhard Wilhelm The PROMPT design principles for predictable multi-core architectures. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
41Florian Brandner Precise simulation of interrupts using a rollback mechanism. Search on Bibsonomy SCOPES The full citation details ... 2009 DBLP  BibTeX  RDF
41Henk Schepers (eds.) Software and Compilers for Embedded Systems, 8th International Workshop, SCOPES 2004, Amsterdam, The Netherlands, September 2-3, 2004, Proceedings Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Sheayun Lee, Jaejin Lee, Chang Yun Park, Sang Lyul Min A Flexible Tradeoff Between Code Size and WCET Using a Dual Instruction Set Processor. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Daniel Ménard, Olivier Sentieys DSP Code Generation with Optimized Data Word-Length Selection. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Adrian Johnstone, Elizabeth Scott Suppression of Redundant Operations in Reverse Compiled Code Using Global Dataflow Analysis. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Diviya Jain, Anshul Kumar, Laura Pozzi, Paolo Ienne Automatically Customising VLIW Architectures with Coarse Grained Application-Specific Functional Units. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Michael Uhler The New Economics of Embedded Systems. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Yudong Tan, Vincent John Mooney Integrated Intra- and Inter-task Cache Analysis for Preemptive Multi-tasking Real-Time Systems. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Heiko Falk, Manish Verma Combined Data Partitioning and Loop Nest Splitting for Energy Consumption Minimization. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Philip Brisk, Ani Nahapetian, Majid Sarrafzadeh Instruction Selection for Compilers that Target Architectures with Echo Instructions. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Susmit Bagchi, Mads Nygaard A Fuzzy Adaptive Algorithm for Fine Grained Cache Paging. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF LRU/LFU, reference string, normal/uniform distributions, fuzzy logic, cache, lookahead, paging algorithms
41Michael Jung 0002, Sorin A. Huss Fast Points-to Analysis for Languages with Structured Types. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Hanno Scharwächter, David Kammler, Andreas Wieferink, Manuel Hohenauer, Kingshuk Karuri, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr ASIP Architecture Exploration for Efficient Ipsec Encryption: A Case Study. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Athanasios Milidonis, Grigoris Dimitroulakos, Michalis D. Galanis, George Theodoridis, Constantinos E. Goutis, Francky Catthoor An Automated C++ Code and Data Partitioning Framework for Data Management of Data-Intensive Applications. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Daniela Cristina Cascini Peixoto, Diógenes Cecilio da Silva Jr. A Framework for Architectural Description of Embedded System.. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Marco Bekooij, Orlando Moreira, Peter Poplavko, Bart Mesman, Milan Pastrnak, Jef L. van Meerbergen Predictable Embedded Multiprocessor System Design. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Peng Yang, Francky Catthoor Dynamic Mapping and Ordering Tasks of Embedded Real-Time Systems on Multiprocessor Platforms. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Bernhard Wess, Thomas Zeitlhofer On the Phase Coupling Problem Between Data Memory Layout Generation and Address Pointer Assignment. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere An Integer Linear Programming Approach to Classify the Communication in Process Networks. Search on Bibsonomy SCOPES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Andreas Krall (eds.) Software and Compilers for Embedded Systems, 7th International Workshop, SCOPES 2003, Vienna, Austria, September 24-26, 2003, Proceedings Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Hiroaki Tanaka, Shinsuke Kobayashi, Yoshinori Takeuchi, Keishi Sakanushi, Masaharu Imai A Code Selection Method for SIMD Processors with PACK Instructions. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Litong Song, Krishna M. Kavi, Ron Cytron An Unfolding-Based Loop Optimization Technique. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Dae-Hwan Kim, Hyuk-Jae Lee Fine-Grain Register Allocation Based on a Global Spill Costs Analysis. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Arshad Jhumka, Neeraj Suri, Martin Hiller A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF fault tolerance, test cases, software synthesis, Detectors, fail-safe
41Viera Sipková Efficient Variable Allocation to Dual Memory Banks of DSPs. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Diego Andrade, Basilio B. Fraguela, Ramon Doallo Cache Behavior Modeling of Codes with Data-Dependent Conditionals. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41James C. Dehnert The Transmeta Crusoe: VLIW Embedded in CISC. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Desiree Ottoni, Guilherme Ottoni, Guido Araujo, Rainer Leupers Improving Offset Assignment through Simultaneous Variable Coalescing. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Sheayun Lee, Jaejin Lee, Sang Lyul Min, Jason Hiser, Jack W. Davidson Code Generation for a Dual Instruction Set Processor Based on Selective Code Transformation. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41V. V. N. S. Sarvani, R. Govindarajan Unified Instruction Reordering and Algebraic Transformations for Minimum Cost Offset Assignment. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Stefaan Himpe, Francky Catthoor, Geert Deconinck Control Flow Analysis for Recursion Removal. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Johan Runeson, Sven-Olof Nyström Retargetable Graph-Coloring Register Allocation for Irregular Architectures. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Björn Decker 0002, Daniel Kästner Reconstructing Control Flow from Predicated Assembly Code. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt Composable Code Generation for Model-Based Development. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Warren Cheung, William S. Evans, Jeremy Moses Predicated Instructions for Code Compaction. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Yunheung Paek, Minwook Ahn, Soonho Lee Case Studies on Automatic Extraction of Target-Specific Architectural Parameters in Complex Code Generation. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Raimund Kirner, Peter P. Puschner Transformation of Meta-Information by Abstract Co-interpretation. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Ming-Yung Ko, Shuvra S. Bhattacharyya Partitioning for DSP Software Synthesis. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Qin Zhao, Bart Mesman, Henk Corporaal Limited Address Range Architecture for Reducing Code Size in Embedded Processors. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Marco Garatti FICO: A Fast Instruction Cache Optimizer. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Oliver Wahlen, Manuel Hohenauer, Gunnar Braun, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Xiaoning Nie Extraction of Efficient Instruction Schedulers from Cycle-True Processor Models. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Kevin Casey, David Gregg, M. Anton Ertl, Andrew Nisbet Towards Superinstructions for Java Interpreters. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Erik Eckstein, Oliver König, Bernhard Scholz Code Instruction Selection Based on SSA-Graphs. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Gang-Ryung Uh Tailoring Software Pipelining for Effective Exploitation of Zero Overhead Loop Buffer. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Richard Stahl, Robert Pasko, Luc Rijnders, Diederik Verkest, Serge Vernalde, Rudy Lauwereins, Francky Catthoor Performance Analysis for Identification of (Sub-)Task-Level Parallelism in Java. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Ioannis Charitakis, Dionisios N. Pnevmatikatos, Evangelos P. Markatos, Kostas G. Anagnostakis Code Generation for Packet Header Intrusion Analysis on the IXP1200 Network Processor. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Hiroo Ishikawa, Tatsuo Nakajima A Case Study on a Component-Based System and Its Configuration. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Peter Marwedel, Srinivas Devadas (eds.) Proceedings of the 2002 Joint Conference on Languages, Compilers, and Tools for Embedded Systems & Software and Compilers for Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June 2002 Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Matt Newsome, Des Watson Proxy compilation of dynamically loaded Java classes with MoJo. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF AOT, ahead-of-time, dynamic class loading, native compilation, proxy compilation, remote compilation, Java, hotspot, just-in-time, JIT, adaptive compilation
41Mayur Naik, Jens Palsberg Compiling with code-size constraints. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF banked architecture, register allocation, integer linear programming, space optimization
41Jeonghun Cho, Yunheung Paek, David B. Whalley Efficient register and memory assignment for non-orthogonal architectures via graph coloring and MST algorithms. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF dual memory, memory assignment, non-orthogonal architecture, compiler, graph coloring, maximum spanning tree
41Markus Lorenz, Lars Wehmeyer, Thorsten Dräger Energy aware compilation for DSPs with SIMD instructions. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF zero overhead hardware loop, DSP, vectorization, energy minimization, SIMD instruction
41Jeffrey Palm, Han Bok Lee, Amer Diwan, J. Eliot B. Moss When to use a compilation service? Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF distributed compilation, energy efficient compilation, Java
41Arvind Krishnaswamy, Rajiv Gupta 0001 Profile guided selection of ARM and thumb instructions. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF 16/32 bit instructions, code size and speed, low power
41Christopher W. Milner, Jack W. Davidson Quick piping: a fast, high-level model for describing processor pipelines. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF embedded systems, pipelines, modeling of computer architecture
41Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri On systematic design of globally consistent executable assertions in embedded software. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF application level fault tolerance, embedded systems, semantics, abstract interpretation, executable assertions
41Takayuki Wakabayashi, Hiroaki Takada Standardization approach of ITRON debugging interface specification and evaluation of its adaptability. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ITRON specification, OS-aware debugging environment, cross development system environment
41Xiushan Feng, Alan J. Hu Automatic formal verification for scheduled VLIW code. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF theory of equality with uninterpreted functions, formal verification, DSP, symbolic execution, VLIW
41Hyunok Oh, Soonhoi Ha Fractional rate dataflow model and efficient code synthesis for multimedia applications. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF CSDF, fractional rate, multimedia, memory, SDF
41Daniel Kästner, Stephan Wilhelm Generic control flow reconstruction from assembly code. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF control flow reconstruction, embedded processors, call graph, retargetable compilers, assembly code, postpass optimization
41Sumit Mohanty, Viktor K. Prasanna, Sandeep Neema, James R. Davis Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF multi-granular simulation, symbolic search, modeling, binary decision diagram, performance estimation, design space, model integrated computing
41Wankang Zhao, Baosheng Cai, David B. Whalley, Mark W. Bailey, Robert van Engelen, Xin Yuan 0001, Jason Hiser, Jack W. Davidson, Kyle A. Gallivan, Douglas L. Jones VISTA: a system for interactive code improvement. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF user-directed code improvement
41Bernhard Scholz, Erik Eckstein Register allocation for irregular architectures. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF boolean quadratic problem, register allocation
41Yi Qian, Steve Carr 0001, Philip H. Sweany Loop fusion for clustered VLIW architectures. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF clustered VLIW architectures, loop fusion
41Krishna V. Palem, Rodric M. Rabbah, Vincent John Mooney, Pinar Korkmaz, Kiran Puttaswamy Design space optimization of embedded memory systems via data remapping. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF data remapping, design space exploration, power aware
41Saehwa Kim, Seongsoo Hong, Tae-Hyung Kim Perfecting preemption threshold scheduling for object-oriented real-time system design: from the perspective of real-time synchronization. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF object-oriented real-time system design, preemption threshold scheduling, priority inheritance protocols, real-time synchronization, priority ceiling protocol
41Philippe Magarshack Systems-on-chip needs for embedded software development: an industrial perspective. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
41Volker Barthelmann Inter-task register-allocation for static operating systems. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF context-switch optimization, optimizing for space, register allocation
41Hendra Saputra, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Jie S. Hu, Chung-Hsing Hsu, Ulrich Kremer Energy-conscious compilation based on voltage scaling. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF energy-aware compilation, optimizing compilers, voltage scaling, loop transformations
41Christoph W. Keßler, Andrzej Bednarski Optimal integrated code generation for clustered VLIW architectures. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF integrated code generation, space profile, dynamic programming, register allocation, instruction scheduling, instruction selection
41Ajay Dudani, Frank Mueller 0001, Yifan Zhu Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF scheduling, real-time systems, dynamic voltage scaling
41Jie S. Hu, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Hendra Saputra, Wei Zhang 0002 Compiler-directed cache polymorphism. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF cache polymorphism, compilers, energy consumption, embedded software, data reuse, cache locality
41Oliver Wahlen, Tilman Glökler, Achim Nohl, Andreas Hoffmann 0002, Rainer Leupers, Heinrich Meyr Application specific compiler/architecture codesign: a case study. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF ASIP, architecture exploration, retargetable compiler
41Frank Hunleth, Ron Cytron Footprint and feature management using aspect-oriented programming techniques. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF embedded systems, middleware, AOP, software composition, event service, subsetting
41Gerhard P. Fettweis DSPs: why don't they just go away!. Search on Bibsonomy LCTES-SCOPES The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
36Masaki Murakami Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
36Bruno Martins 0001, Nuno Cardoso, Marcirio Silveira Chaves, Leonardo Andrade 0001, Mário J. Silva The University of Lisbon at GeoCLEF 2006. Search on Bibsonomy CLEF The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Huaizhou Yang, Zeng-zhi Li, Jing Chen, Hong Xia Web Services Composition Based on Ontology and Workflow. Search on Bibsonomy WAIM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001 Hybrid applications over XML: integrating the procedural and declarative approaches. Search on Bibsonomy WIDM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration
34Mary Magdalene Jane F., Ilayaraja N., Ashwin Raghav M., R. Nadarajan, Maytham Safar Cache prefetch and replacement with dual valid scopes for location dependent data in mobile environments. Search on Bibsonomy iiWAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF location-dependent information services, performance evaluation, mobile computing, cache replacement
34Chul-Young Roh, Keon-Hyung Lee, Myron D. Fottler Determinants of Hospital Choice of Rural Hospital Patients: The Impact of Networks, Service Scopes, and Market Competition. Search on Bibsonomy J. Medical Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hospital choice, Hospital competition, Conditional logistic regression, Rural hospitals
34May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui Properties and scopes in web model checking. Search on Bibsonomy ASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model checking, formal methods, temporal logic, web applications, linear temporal logic
34Ludger Fiege, Mira Mezini, Gero Mühl, Alejandro P. Buchmann Engineering Event-Based Systems with Scopes. Search on Bibsonomy ECOOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Norman Hardy Nested Scopes in Pascal and Algol 68. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
24Kazuaki Ishizaki, Ken Mizuno, Toshio Suganuma, Daniel Silva 0001, Akira Koseki, Hideaki Komatsu, Yohei Ueda, Toshio Nakatani Parallel programming framework for large batch transaction processing on scale-out systems. Search on Bibsonomy SYSTOR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF batch transaction, programming framework, sharding, scale-out
24Jameleddine Hassine, Juergen Rilling, Rachida Dssouli Use Case Maps as a property specification language. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification
24Ken C. K. Lee, Josh Schiffman, Baihua Zheng, Wang-Chien Lee Valid scope computation for location-dependent spatial query in mobile broadcast environments. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF location-dependent spatial query, valid scope, data broadcast
24Nuno Cardoso, Mário J. Silva, Diana Santos Handling implicit geographic evidence for geographic ir. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF wikipedia mining, named entity recognition, geographic information retrieval
24He Zhang 0001, Barbara A. Kitchenham, Dietmar Pfahl Software Process Simulation Modeling: Facts, Trends and Directions. Search on Bibsonomy APSEC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Alastair F. Donaldson, Paul Keir, Anton Lokhmotov Compile-Time and Run-Time Issues in an Auto-Parallelisation System for the Cell BE Processor. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
24Salamah Salamah, Ann Q. Gates, Steve Roach Improving Pattern-Based LTL Formulas for Automata Model Checking. Search on Bibsonomy ITNG The full citation details ... 2008 DBLP  DOI  BibTeX  RDF B¨uchi Automaton, Prospec, Composite Propositions, Pattern, LTL, Scope
Displaying result #201 - #300 of 628 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license