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