|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1794 occurrences of 962 keywords
|
|
|
Results
Found 3228 publication records. Showing 3228 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Xiuguo Zhang, Weishi Zhang |
CCML: A Novel Service Composition Language. |
IAT Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xiuguo Zhang, Yingjun Zhang |
CCM: A Cooperative Computation Model of Services. |
IMSCCS (1) |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Vipin Swarup, Len Seligman, Arnon Rosenthal |
Specifying Data Sharing Agreements. |
POLICY |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation. |
VLSI Design |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Brian D. Wilson, Gerald Manipon, Dominic Mazzoni, Benyang Tang, Tom Yunck |
A Demonstration of the SciFlo Grid Workflow Engine. |
SSDBM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Michael F. Ringenburg, Dan Grossman |
Preventing format-string attacks via automatic and efficient dynamic checking. |
CCS |
2005 |
DBLP DOI BibTeX RDF |
dynamic checking, format-string attacks, white-lists, static analysis |
15 | Stephen A. Edwards, Olivier Tardieu |
Deterministic receptive processes are Kahn processes. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Akash Lal, Thomas W. Reps, Gogul Balakrishnan |
Extended Weighted Pushdown Systems. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Peter M. Kelly, Paul D. Coddington, Andrew L. Wendelborn |
Distributed, Parallel Web Service Orchestration Using XSLT. |
e-Science |
2005 |
DBLP DOI BibTeX RDF |
|
15 | José Bins, Thor List, Robert B. Fisher, David Tweed |
An Intelligent and Task-Independent Controller for Video Sequence Analysis. |
CAMP |
2005 |
DBLP DOI BibTeX RDF |
Video sequences analysis, Computer Vision, Intelligent controller, Image Understanding |
15 | Shawn Bowers, Bertram Ludäscher |
Actor-Oriented Design of Scientific Workflows. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
15 | David Minor, Shmuel Rippa |
GRAPE - An Industrial Distributed System for Computer Vision. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Slobodan Matic, Thomas A. Henzinger |
Trading End-to-End Latency for Composability. |
RTSS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
The open verifier framework for foundational verifiers. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
language-based security, proof-carrying code, typed assembly language |
15 | A. Petrov, Tudor Murgan, Peter Zipf, Manfred Glesner |
Functional modeling techniques for a wireless LAN OFDM transceiver. |
ISCAS (4) |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Xiuguo Zhang, Weishi Zhang, Jinyu Shi |
A KPN Based Cooperative Composition Model of Services. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Brian Fahs, Todd M. Rafacz, Sanjay J. Patel, Steven S. Lumetta |
Continuous Optimization. |
ISCA |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Walter Maydl |
Design Accompanying Analysis of Component-Based Embedded Software. |
CBSE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jan Romberg, Andreas Bauer 0002 |
Loose synchronization of event-triggered networks for distribution of synchronous programs. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, AutoFocus, code distribution |
15 | Ravishankar Rao, Sarma B. K. Vrudhula |
Energy optimization for a two-device data flow chain. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Kees A. Vissers |
Programming models and architectures for FPGA platforms. |
CASES |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Dragan Havelka, Christian Schulte 0001, Per Brand, Seif Haridi |
Thread-Based Mobility in Oz. |
MOZ |
2004 |
DBLP DOI BibTeX RDF |
|
15 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski |
Bytecode Verification by Model Checking. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
model checking, static analysis, type safety, bytecode verification |
15 | Vijayshankar Raman, Amol Deshpande, Joseph M. Hellerstein |
Using State Modules for Adaptive Query Processing. |
ICDE |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani |
Effectiveness of cross-platform optimizations for a java just-in-time compiler. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
Java, optimization, just-in-time compiler |
15 | Guenter Gerwig, Holger Wetter, Eric M. Schwarz, Juergen Haess |
High Performance Floating-Point Unit with 116 Bit Wide Divider. |
IEEE Symposium on Computer Arithmetic |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Michael L. Chu, Kevin Fan, Scott A. Mahlke |
Region-based hierarchical operation partitioning for multicluster processors. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
multicluster processor, operation partitioning, clustering, instruction-level parallelism, instruction scheduling, region-based compilation |
15 | Yuanqing Guo, Gerard J. M. Smit, Hajo Broersma, Michèl A. J. Rosien, Paul M. Heysters |
Mapping Applications to a Coarse Grain Reconfigurable System. |
Asia-Pacific Computer Systems Architecture Conference |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Tobias Mayr 0001, Philippe Bonnet, Johannes Gehrke, Praveen Seshadri |
Leveraging Non-Uniform Resources for Parallel Query Processing. |
CCGRID |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Sonny Tham, John Morris |
Cilk vs MPI: Comparing two very different parallel programming styles. |
ICPP |
2003 |
DBLP DOI BibTeX RDF |
MPI, networks of workstations, Cilk |
15 | J. Gregory Morrisett |
Analysis issues for cyclone. |
PASTE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Nick Savoiu, Sandeep K. Shukla, Rajesh K. Gupta 0001 |
Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation. |
DATE |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Michael Codish, Harald Søndergaard |
Meta-circular Abstract Interpretation in Prolog. |
The Essence of Computation |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Walter Maydl, Bernhard Sick, Werner Grass |
Towards a Specification Technique for Component-Based Measurement and Control Software for Embedded Systems. |
EUROMICRO |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Thomas P. Jensen, Fausto Spoto |
Class Analysis of Object-Oriented Programs through Abstract Interpretation. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
semantics, Abstract interpretation, object-oriented languages, domain theory, class analysis |
15 | Klaus Schneider 0001 |
Embedding Imperative Synchronous Languages in Interactive Theorem Provers. |
ACSD |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Praveen K. Murthy, Etan G. Cohen, Steve Rowland |
System canvas: a new design environment for embedded DSP and telecommunication systems. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Marek Tudruj, Lukasz Masko |
An Architecture and Task Scheduling Algorithm for Systems Based on Dynamically Reconfigurable Shared Memory Clusters. |
IWCC |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Marek Tudruj, Lukasz Masko |
A Parallel System Architecture Based on Dynamically Configurable Shared Memory Clusters. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Marek Tudruj, Lukasz Masko |
Task Scheduling for Dynamically Configurable Multiple SMP Clusters Based on Extended DSC Approach. |
PPAM |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Eckart Zitzler, Jürgen Teich, Shuvra S. Bhattacharyya |
Evolutionary algorithms for the synthesis of embedded software. |
IEEE Trans. Very Large Scale Integr. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Oskar Mencer, Heiko Hübert, Martin Morf, Michael J. Flynn |
StReAm: Object-Oriented Programming of Stream Architectures Using PAM-Blox. |
FPL |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Joseph Buck, Radha Vaidyanathan |
Heterogeneous modeling and simulation of embedded systems in El Greco. |
CODES |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, Gert Smolka |
Efficient logic variables for distributed computing. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
Mozart, distributed algorithms, Oz |
15 | Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý |
Parallelizing of Sequential Annotated Programs in PVM Environment. |
PVM/MPI |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Alexander B. Godlevsky, Martin Gazák, Ladislav Hluchý |
Parallelizing of Seqential Programs on the Basis of Pipeline and Speculative Features of the Operators. |
PaCT |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Rolf Ernst, Kees A. Vissers, Pieter van der Wolf, Gert-Jan van Rootselaar |
System level design and debug of high-performance embedded media systems (tutorial). |
ICCAD |
1999 |
DBLP BibTeX RDF |
|
15 | Sundararajan Sriram, Edward A. Lee |
Determining the Order of Processor Transactions in Statically Scheduled Multiprocessors. |
J. VLSI Signal Process. |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Rachid Helaihel, Kunle Olukotun |
Java as a specification language for hardware-software systems. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
java, Java, specification languages, hardware-software co-design |
15 | Shigeru Kusakabe, Taku Nagai, Kentaro Inenaga, Makoto Amamiya |
Reducing Overhead in Implementing Fine-grain Parallel Data-structures of a Data onOff-the-shelf Distributed-memory Parallel Computers. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Stuart F. Oberman, Michael J. Flynn |
A Variable Latency Pipelined Floating-Point Adder. |
Euro-Par, Vol. II |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Rajesh Bordawekar, Alok N. Choudhary, J. Ramanujam |
A Framework for Integrated Communication and I/O Placement. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Vugranam C. Sreedhar, Guang R. Gao |
A Linear Time Algorithm for Placing phi-nodes. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Johann Rost, Franz-Josef Markus, Li Yan-Hua |
"Agency Scheduling" A Model for Dynamic Task Scheduling. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Richard Johnson, Keshav Pingali |
Dependence-Based Program Analysis. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Mehdi T. Harandi, Hing-Yan Lee |
A Support Envimnment for Knowledge-Based Software Design. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Moshe Rabinovich |
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract). |
ICALP |
1992 |
DBLP DOI BibTeX RDF |
|
15 | Ramón D. Acosta |
PProto: An environment for prototyping parallel programs. |
J. Syst. Integr. |
1991 |
DBLP DOI BibTeX RDF |
computer-aided software engineering (CASE), software/hardware architectures, parallel processing, parallel programming, rapid prototyping, visual programming |
15 | Susumu Yamasaki |
Extraction of Functional from Logic Program. |
PLILP |
1991 |
DBLP DOI BibTeX RDF |
|
15 | George S. Davidson |
TWIST-TOP: Transputers with I-Stores Test Out Processor. |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
OCCAM |
15 | Guang R. Gao, Herbert H. J. Hum, Yue-Bong Wong |
An Efficient Scheme for Fine-Grain Software Pipelining. |
CONPAR |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Krishna M. Kavi, S. R. Kuthalam, Akshay K. Deshpande |
A decomposition approach for analysis of parallel processing systems. |
SPDP |
1990 |
DBLP DOI BibTeX RDF |
|
15 | John M. A. Roy, Mark Nagel, Lubomir Bic |
Partitioning declarative programs into communicating processes. |
SC |
1990 |
DBLP DOI BibTeX RDF |
|
15 | Victor N. Kasyanov |
Annotated Program Transformations. |
FSTTCS |
1989 |
DBLP DOI BibTeX RDF |
|
15 | Prakash Panangaden |
McCarthy's Amb Cannot Implement Fair Merge. |
FSTTCS |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Huy T. Vo, João Luiz Dihl Comba, Berk Geveci, Cláudio T. Silva |
Streaming-Enabled Parallel Data Flow Framework in the Visualization ToolKit. |
Comput. Sci. Eng. |
2011 |
DBLP DOI BibTeX RDF |
Parallel dataflow, visualization pipeline, streaming, multithreaded, VTK |
13 | Michael Agun, Shawn Bowers |
Approaches for Implementing Persistent Queues within Data-Intensive Scientific Workflows. |
SERVICES |
2011 |
DBLP DOI BibTeX RDF |
Actor-Oriented Modeling, Scientific Workflows, Dataflow, Pipeline Parallelism |
13 | Cindy Rubio-González, Ben Liblit |
Expect the unexpected: error code mismatches between documentation and the real world. |
PASTE |
2010 |
DBLP DOI BibTeX RDF |
interprocedural dataflow analysis, manual pages, weighted pushdown systems, static program analysis |
13 | Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu |
Automatic parallelization of simulink applications. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
coarse grain dataflow, equation-level parallelism, compilers, multi-core, automatic parallelization, simulink, strands |
13 | Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich |
Verifying event-driven programs using ramified frame properties. |
TLDI |
2010 |
DBLP DOI BibTeX RDF |
frame rule, ramification problem, subject-observer, dataflow, separation logic, functional reactive programming |
13 | Tao Yu, Baoyao Zhou, Qinghu Li, Rui Liu, Weihong Wang, Cheng Chang |
The design of distributed real-time video analytic system. |
CloudDB@CIKM |
2009 |
DBLP DOI BibTeX RDF |
multi-databases, uima, real-time, scalability, interoperability, integration, distributed, video surveillance, dataflow, analytic |
13 | Qiming Chen, Meichun Hsu, Rui Liu, Tao Yu, Qinghu Li, Weihong Wang |
Operational BI platform for video analytics. |
MEDES |
2009 |
DBLP DOI BibTeX RDF |
query dataflow process, relation valued function, model management, user defined function |
13 | Nomair A. Naeem, Ondrej Lhoták |
Efficient alias set analysis using SSA form. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
live variables, shape analysis, dominance, pointer analysis, dataflow analysis, alias analysis, static single assignment form |
13 | William Thies, Steven Hall, Saman P. Amarasinghe |
Manipulating lossless video in the compressed domain. |
ACM Multimedia |
2009 |
DBLP DOI BibTeX RDF |
LZ77, Lempel-Ziv, video editing, lossless compression, synchronous dataflow, compressed domain, stream programming, streamit |
13 | Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
Error propagation analysis for file systems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis |
13 | Tristan Ravitch, Steve Jackson 0002, Eric Aderhold, Ben Liblit |
Automatic generation of library bindings using static analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces |
13 | Silvian Calman, Jianwen Zhu |
Increasing the Scope and Resolution of Interprocedural Static Single Assignment. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
dataflow, constant propagation, SSA, interprocedural |
13 | Alexander Fell, Mythri Alle, Keshavan Varadarajan, Prasenjit Biswas, Saptarsi Das, Jugantor Chetia, S. K. Nandy 0001, Ranjani Narayan |
Streaming FFT on REDEFINE-v2: an application-architecture design space exploration. |
CASES |
2009 |
DBLP DOI BibTeX RDF |
application synthesis, custom instruction extension, dataflow software pipeline, honeycomb, polymorphic asic, runtime reconfiguration, router, NOC |
13 | Alexander Rasmussen, Emre Kiciman, V. Benjamin Livshits, Madanlal Musuvathi |
Improving the responsiveness of internet services with automatic cache placement. |
EuroSys |
2009 |
DBLP DOI BibTeX RDF |
simulation, optimization, caching, cloud computing, internet services, dataflow model |
13 | Yongjin Ahn, Keesung Han, Ganghee Lee, Hyunjik Song, Jun-hee Yoo, Kiyoung Choi, Xingguang Feng |
SoCDAL: System-on-chip design AcceLerator. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
application-to-architecture mapping, static hardware/software estimation, simulation, scheduling, specification, design-space exploration, worst-case execution time, Codesign, transaction-level model, synchronous dataflow, multiprocessor system-on-chip, process networks |
13 | Angelos Charalambidis, Athanasios Grivas, Nikolaos S. Papaspyrou, Panos Rondogiannis |
Efficient Intensional Implementation for Lazy Functional Languages. |
Math. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
Implementation of functional languages, dataflow computation, intensional logic |
13 | Sébastien Labbé 0002, Jean-Pierre Gallois |
Slicing communicating automata specifications: polynomial algorithms for model reduction. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Communicating automata, Specifications, Static analysis, Slicing, Dataflow analysis, Model reduction, Polynomial algorithms |
13 | Michael Furr, Jeffrey S. Foster |
Checking type safety of foreign function calls. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
FFI, flow-sensitive type system, foreign function calls, multilingual type inference, multilingual type system, representational type, Java, dataflow analysis, OCaml, JNI, Java Native Interface, Foreign function interface |
13 | George Giorgidze, Henrik Nilsson |
Switched-On Yampa. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
synchronous dataflow languages, hybrid systems, computer music, Functional Reactive Programming |
13 | Stephen Neuendorffer, Kees A. Vissers |
Streaming Systems in FPGAs. |
SAMOS |
2008 |
DBLP DOI BibTeX RDF |
digital convergence, FPGAs, dataflow |
13 | Calin Glitia, Pierre Boulet |
High Level Loop Transformations for Systematic Signal Processing Embedded Applications. |
SAMOS |
2008 |
DBLP DOI BibTeX RDF |
Multidimensional Dataflow, optimizations, loop transformations |
13 | Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony |
WOOL: A Workflow Programming Language. |
eScience |
2008 |
DBLP DOI BibTeX RDF |
workflow, programming languages, dataflow |
13 | Thomas D. LaToza |
Answering control flow questions about code. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
empirical study, program comprehension, dataflow analysis |
13 | Greta Yorsh, Eran Yahav, Satish Chandra 0001 |
Generating precise and concise procedure summaries. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis |
13 | Christopher Olston, Benjamin C. Reed, Utkarsh Srivastava, Ravi Kumar 0001, Andrew Tomkins |
Pig latin: a not-so-foreign language for data processing. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
pig latin, dataflow language |
13 | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
framework-intensive applications, Java, performance, program understanding, dataflow analysis, escape analysis |
13 | Jeffrey R. Diamond, Behnam Robatmili, Stephen W. Keckler, Robert A. van de Geijn, Kazushige Goto, Doug Burger |
High performance dense linear algebra on a spatially distributed processor. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
gotoblas, grid processors, hybrid dataflow, matrix multiply, tile based architecture, instruction level parallelism, on-chip networks, dense linear algebra |
13 | Jun-Hee Mun, Shung Han Cho, Sangjin Hong |
Flexible Controller Design and Its Application for Concurrent Execution of Buffer Centric Dataflows. |
J. VLSI Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
flexible controller design, buffer centric dataflow, reconfigurable architecture |
13 | Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof |
Termination analysis of logic programs through combination of type-based norms. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
program analysis, Abstract interpretation, dataflow analysis, termination analysis, global analysis, groundness analysis |
13 | Carsten Gremzow |
Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design. |
SCSC |
2007 |
DBLP BibTeX RDF |
hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM |
13 | Seung Chan Lim, Sandi Lowe, Jeremy Koempel |
Application of Visual Programming to Web Mash Up Development. |
HCI (1) |
2007 |
DBLP DOI BibTeX RDF |
Rapid Prototyping, Visual Programming, End-User Programming, JavaScript, Dataflow Architecture |
13 | Subhajit Roy 0001, Y. N. Srikant |
Partial Flow Sensitivity. |
HiPC |
2007 |
DBLP DOI BibTeX RDF |
compilers, compiler optimizations, dataflow analysis, points-to analysis |
13 | Emiliano Dolif, Michele Lombardi 0001, Martino Ruggiero, Michela Milano, Luca Benini |
Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
multimedia dataflow streaming, scheduling, allocation |
13 | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
Blended analysis for performance understanding of framework-based applications. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
framework-intensive applications, program understandingperfor-mance, java, dataflow analysis, escape analysis |
13 | Asad Awan, Suresh Jagannathan, Ananth Grama |
Macroprogramming heterogeneous sensor networks using cosmos. |
EuroSys |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, heterogeneous networks, dataflow, macroprogramming |
Displaying result #501 - #600 of 3228 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|