Search results for "software synthesis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Fernando Rocha, Ricardo Massa Ferreira Lima	Software synthesis for hard real-time embedded systems with multiple processors.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	petri nets, real-time embedded systems, software synthesis, multiple processors
3	Eduardo Tavares, Paulo Romero Martins Maciel, Arthur Bessa, Raimundo S. Barreto, Leonardo Barros, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima	A time petri net based approach for embedded hard real-time software synthesis with multiple operational modes.	SBCCI	2005	DBLP DOI BibTeX RDF	embedded hard real-time systems, hardware/software codesign methodologies, software synthesis
3	Chia-Jui Hsu, Shuvra S. Bhattacharyya	Software Synthesis from the Dataflow Interchange Format.	SCOPES	2005	DBLP DOI BibTeX RDF	DIF, dataflow interchange format, software synthesis
3	Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima	A formal software synthesis approach for embedded hard real-time systems.	SBCCI	2004	DBLP DOI BibTeX RDF	embedded hard real-time systems, hardware/software codesign methodologies, software synthesis
3	Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen	Software Synthesis for System Level Design Using Process Execution Trees.	EUROMICRO	1999	DBLP DOI BibTeX RDF	system level design language, simulation, operational semantics, software synthesis
3	Xiaohan Zhu, Bill Lin	Compositional Software Synthesis of Communicating Processes.	ICCD	1999	DBLP DOI BibTeX RDF	System-On-a-Chip Applications, Embedded Systems, Hardware/Software Co-Design, Software Synthesis
3	Youngsoo Shin, Kiyoung Choi	Software synthesis through task decomposition by dependency analysis.	ICCAD	1996	DBLP DOI BibTeX RDF	CDFG, scheduler, dependency, C, VHDL, thread, Software synthesis
3	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Real-time multi-tasking in software synthesis for information processing systems.	ISSS	1995	DBLP DOI BibTeX RDF	automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
2	Bijoy A. Jose, Jason Pribble, Sandeep K. Shukla	Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism.	ACSD	2010	DBLP DOI BibTeX RDF	polychrony, multi-clock, embedded software, software synthesis, prime implicate, synchronous programming, multirate
2	Bijoy A. Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin	On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications.	MEMOCODE	2008	DBLP DOI BibTeX RDF
2	Rastislav Bodík	Software synthesis with sketching.	PEPM	2008	DBLP DOI BibTeX RDF	synthesis
2	Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro, Paulo Romero Martins Maciel	ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis.	DATE	2008	DBLP DOI BibTeX RDF
2	Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro	Towards a model-driven engineering approach for developing embedded hard real-time software.	SAC	2008	DBLP DOI BibTeX RDF	DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis
2	Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattacharyya	Beyond single-appearance schedules: Efficient DSP software synthesis using nested procedure calls.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	block diagram compiler, hierarchical graph decomposition, procedural implementation, embedded systems, design methodology, memory optimization, Synchronous dataflow
2	Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu	Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.	RTSS	2007	DBLP DOI BibTeX RDF
2	Weidong Wang, Anand Raghunathan, Ganesh Lakshminarayana, Niraj K. Jha	Input space-adaptive optimization for embedded-software synthesis.	IEEE Trans. on CAD of Integrated Circuits and Systems	2005	DBLP DOI BibTeX RDF
2	Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos Mello	A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
2	Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima	A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC.	ICESS	2005	DBLP DOI BibTeX RDF
2	Joel Koshy, Raju Pandey	VMSTAR: synthesizing scalable runtime environments for sensor networks.	SenSys	2005	DBLP DOI BibTeX RDF	wireless sensor networks, virtual machines, operating systems, programming languages, software synthesis, network reprogramming
2	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
2	Ming-Yung Ko, Shuvra S. Bhattacharyya	Partitioning for DSP Software Synthesis.	SCOPES	2003	DBLP DOI BibTeX RDF
2	Trong-Yen Lee, Pao-Ann Hsiung, I-Mu Wu, Feng-Shi Su	RESS: Real-Time Embedded Software Synthesis and Prototyping Methodology.	RTCSA	2003	DBLP DOI BibTeX RDF
2	Pao-Ann Hsiung, Cheng-Yi Lin, Trong-Yen Lee	Quasi-Dynamic Scheduling for the Synthesis of Real-Time Embedded Software with Local and Global Deadlines.	RTCSA	2003	DBLP DOI BibTeX RDF	Periodic Time Petri Nets, quasi-dynamic scheduling, local and global deadlines, software synthesis, Real-time embedded software
2	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
2	Yunjian Jiang, Robert K. Brayton	Software synthesis from synchronous specifications using logic simulation techniques.	DAC	2002	DBLP DOI BibTeX RDF
2	Ingo Sander, Axel Jantsch, Zhonghai Lu	A Case Study of Hardware and Software Synthesis in ForSyDe.	ISSS	2002	DBLP DOI BibTeX RDF	system design, design methodology, software synthesis, hardware synthesis
2	Weidong Wang, Anand Raghunathan, Ganesh Lakshminarayana, Niraj K. Jha	Input Space Adaptive Embedded Software Synthesis.	VLSI Design	2002	DBLP DOI BibTeX RDF
2	Massimiliano Chiodo	Optimization and synthesis for complex reactive embedded systems by incremental collapsing.	CODES	2002	DBLP DOI BibTeX RDF	real-time systems, embedded systems, finite-state machines, software synthesis
2	Vincenza Carchiolo, Michele Malgeri, Giuseppe Mangioni	Hardware/software synthesis of formal specifications in codesign of embedded systems.	ACM Trans. Design Autom. Electr. Syst.	2000	DBLP DOI BibTeX RDF	hardware and software synthesis, embedded system, codesign
2	Wonyong Sung, Soonhoi Ha	Memory efficient software synthesis with mixed coding style from dataflow graphs.	IEEE Trans. VLSI Syst.	2000	DBLP DOI BibTeX RDF
2	Alessandro Marongiu, Paolo Palazzari, Luigi Cinque, Ferdinando Mastronardo	High Level Software Synthesis of Affine Iterative Algorithms onto Parallel Architectures.	HPCN	2000	DBLP DOI BibTeX RDF
2	Steven Vercauteren, Jan van der Steen, Diederik Verkest	Combining Software Synthesis and Hardware/Software Interface Generation to Meet Hard Real-Time Constraints.	DATE	1999	DBLP DOI BibTeX RDF
2	Felice Balarin, Massimiliano Chiodo	Software Synthesis for Complex Reactive Embedded Systems.	ICCD	1999	DBLP DOI BibTeX RDF
2	Bill Lin	Software Synthesis of Process-Based Concurrent Programs.	DAC	1998	DBLP DOI BibTeX RDF	low power, C, synthesis, placement, flip-flops, voltage scaling, codec, MPEG4, level converters, design automatian
2	Shuvra S. Bhattacharyya, Praveen K. Murthy, Edward A. Lee	Optimized software synthesis for synchronous dataflow.	ASAP	1997	DBLP DOI BibTeX RDF	optimized software synthesis, programmable digital signal processors, off-chip memory, real-time systems, digital signal processing, synchronous dataflow, graphical programs
2	Filip Thoen, J. Van Der Steen, Gjalt G. de Jong, Gert Goossens, Hugo De Man	Multi-thread graph: a system model for real-time embedded software synthesis.	ED&TC	1997	DBLP DOI BibTeX RDF
2	Biplav Srivastava, Subbarao Kambhampati, Amol Dattatraya Mali	A Structured Approach for Synthesizing Planners from Specifications. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	planners synthesis, domain-independent approach, error-proneness, manual coding, knowledge-based software synthesis tools, CLAY, Kestrel Interactive Development System, declarative control knowledge, AI, specifications, knowledge based systems, structured approach
2	Alessandro Balboni, William Fornaciari, M. Vincenzi, Donatella Sciuto	The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems. (PDF / PS)	ISSS	1996	DBLP DOI BibTeX RDF	virtual instruction set, control-dominated hardware-software system, retargetable code synthesis, real-time systems, embedded systems, software development, performance estimation, embedded computing, software synthesis, real-time constraints, system synthesis, static scheduling
2	José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck	Software synthesis for DSP using ptolemy.	VLSI Signal Processing	1995	DBLP DOI BibTeX RDF
2	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Software Synthesis for Real-Time Information Processing Systems.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
2	Dorothy E. Setliff, Rob A. Rutenbar	Knowledge Representation and Reasoning in a Software Synthesis Architecture.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	software synthesis architecture, reasoning strategies, automatic program synthesis architecture, ELF, procedure-level decomposition, synthetic router, data structures, knowledge representation, knowledge representation, computer-aided design, inference mechanisms, automatic programming, circuit layout CAD, design space, VLSI circuits, domain-specific knowledge
1	Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter	Software synthesis procedures.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Ghislain Roquier, Endri Bezati, Marco Mattavelli	Hardware and Software Synthesis of Heterogeneous Systems from Dataflow Programs.	J. Electrical and Computer Engineering	2012	DBLP DOI BibTeX RDF
1	Jeroen Voeten, Oana Florescu, Jinfeng Huang, Henk Corporaal	Error computation for predictable real-time software synthesis.	Simulation	2011	DBLP DOI BibTeX RDF
1	Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	Quantized Feedback Control Software Synthesis from System Level Formal Specifications	CoRR	2011	DBLP BibTeX RDF
1	Rupak Majumdar, Elaine Render, Paulo Tabuada	A theory of robust software synthesis	CoRR	2011	DBLP BibTeX RDF
1	Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters	CoRR	2011	DBLP BibTeX RDF
1	Jerónimo Castrillón, Weihua Sheng, Rainer Leupers	Trends in embedded software synthesis.	ICSAMOS	2011	DBLP DOI BibTeX RDF
1	Soonhoi Ha, Hyunok Oh	Software synthesis in the ESL methodology for multicore embedded systems.	ICSAMOS	2011	DBLP DOI BibTeX RDF
1	Lothar Thiele, Lars Schor, Hoeseok Yang, Iuliana Bacivarov	Thermal-aware system analysis and software synthesis for embedded multi-processors.	DAC	2011	DBLP DOI BibTeX RDF
1	Joachim Falk, Christian Zebelein, Christian Haubelt, Jürgen Teich	A rule-based static dataflow clustering algorithm for efficient embedded software synthesis.	DATE	2011	DBLP BibTeX RDF
1	Hamid Bagheri	A formal approach to software synthesis for architectural platforms.	ICSE	2011	DBLP DOI BibTeX RDF
1	Eduardo Tavares, Paulo Romero Martins Maciel, Pedro Dallegrave, B. Silva, Tiago Falcão, Bruno Costa e Silva Nogueira, Gustavo Rau de Almeida Callou, P. R. F. Cunha	Model-driven software synthesis for hard real-time applications with energy constraints.	Design Autom. for Emb. Sys.	2010	DBLP DOI BibTeX RDF
1	Gal Katz, Doron Peled	MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming.	ATVA	2010	DBLP DOI BibTeX RDF
1	Mohammad H. Foroozannejad, Matin Hashemi, Trevor L. Hodges, Soheil Ghiasi	Look into details: the benefits of fine-grain streaming buffer analysis.	LCTES	2010	DBLP DOI BibTeX RDF	synchronous data flow, optimization, buffer management, software synthesis, streaming applications
1	Weichen Liu, Zonghua Gu, Jiang Xu	Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow.	Embedded Systems Letters	2009	DBLP DOI BibTeX RDF
1	Samar Abdi, Gunar Schirner, Ines Viskic, Hansu Cho, Yonghyun Hwang, Lochi Yu, Daniel Gajski	Hardware-dependent software synthesis for many-core embedded systems.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser	Automatic device driver synthesis with termite.	SOSP	2009	DBLP DOI BibTeX RDF	domain-specific languages, device drivers, software synthesis, two-player games
1	Youngchul Cho, Kiyoung Choi	Code decomposition and recomposition for enhancing embedded software performance.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Andreas Raabe, Rastislav Bodík	Synthesizing hardware from sketches.	DAC	2009	DBLP DOI BibTeX RDF	sketching
1	Zhonglei Wang, Andreas Herkersdorf, Wolfgang Haberl, Martin Wechs	SysCOLA: a framework for co-development of automotive software and system platform.	DAC	2009	DBLP DOI BibTeX RDF	COLA, SystemC, system modeling, virtual prototyping
1	Matin Hashemi, Soheil Ghiasi	Throughput-driven synthesis of embedded software for pipelined execution on multicore architectures.	ACM Trans. Embedded Comput. Syst.	2009	DBLP DOI BibTeX RDF	multi-core hardware, graph partitioning, Embedded software, task assignment, streaming applications
1	Armando Solar-Lezama	The Sketching Approach to Program Synthesis.	APLAS	2009	DBLP DOI BibTeX RDF
1	Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Romulo Devezas Freitas, Meuse N. Oliveira Jr., Ricardo Massa Ferreira Lima	A time Petri net-based method for embedded hard real-time software synthesis.	Design Autom. for Emb. Sys.	2008	DBLP DOI BibTeX RDF
1	Ghislain Roquier, Matthieu Wipliez, Mickaël Raulet, Jörn W. Janneck, Ian D. Miller, David B. Parlour	Automatic software synthesis of dataflow program: An MPEG-4 simple profile decoder case study.	SiPS	2008	DBLP DOI BibTeX RDF
1	Ghislain Roquier, Matthieu Wipliez, Mickaël Raulet, Jean-François Nezan, Olivier Déforges	Software synthesis of CAL actors for the MPEG reconfigurable Video Coding framework.	ICIP	2008	DBLP DOI BibTeX RDF
1	Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave	Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints.	SBAC-PAD	2008	DBLP DOI BibTeX RDF
1	Matin Hashemi, Soheil Ghiasi	Exact and Approximate Task Assignment Algorithms for Pipelined Software Synthesis.	DATE	2008	DBLP DOI BibTeX RDF
1	Joachim Falk, Joachim Keinert, Christian Haubelt, Jürgen Teich, Shuvra S. Bhattacharyya	A generalized static data flow clustering algorithm for mpsoc scheduling of multimedia applications.	EMSOFT	2008	DBLP DOI BibTeX RDF	actor-oriented design, mpsoc scheduling, software synthesis
1	Don S. Batory	Using modern mathematics as an FOSD modeling language.	GPCE	2008	DBLP DOI BibTeX RDF	commuting diagrams, software product lines, features, geodesics, model driven design
1	Hassan Farhat	Integrating electronics in computer science under curricula constraints, a comparative study.	EIT	2008	DBLP DOI BibTeX RDF
1	Carl von Platen, Johan Eker	Efficient realization of a cal video decoder on a mobile terminal (position paper).	SiPS	2008	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Predictable real-time software synthesis.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Real-time systems, Formal methods, Program synthesis
1	Youngchul Cho, Nacer-Eddine Zergainoh, Kiyoung Choi, Ahmed Amine Jerraya	Low Runtime-Overhead Software Synthesis for Communicating Concurrent Processes.	IEEE International Workshop on Rapid System Prototyping	2007	DBLP DOI BibTeX RDF
1	Cédric Lauradoux	From Hardware to Software Synthesis of Linear Feedback Shift Registers.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Satnam Singh	Hardware/Software Synthesis and Verification Using Esterel.	CPA	2007	DBLP BibTeX RDF
1	Simone Grassi, Stephen Barrett, Francesco Sordillo	Ontology based algorithm modeling: obtaining adaptation for SOA environment.	MW4SOC	2007	DBLP DOI BibTeX RDF	ontology, service oriented architectures, semantic web services, software synthesis, adaptable software
1	Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia	Sketching stencils.	PLDI	2007	DBLP DOI BibTeX RDF	sketching, SAT, stencil
1	Andreas Herrholz, Frank Oppenheimer, Philipp A. Hartmann, Andreas Schallenberg, Wolfgang Nebel, Christoph Grimm, Markus Damm, Jan Haase, F. Brame, Fernando Herrera, Eugenio Villar, Ingo Sander, Axel Jantsch, Anne-Marie Fouilliart, Marcos Martínez	The ANDRES Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems.	FPL	2007	DBLP DOI BibTeX RDF
1	Youngchul Cho, Nacer-Eddine Zergainoh, Ahmed Amine Jerraya, Kiyoung Choi	Buffer Size Reduction through Control-Flow Decomposition.	RTCSA	2007	DBLP DOI BibTeX RDF
1	Ming-Yung Ko, Claudiu Zissulescu, Sebastian Puthenpurayil, Shuvra S. Bhattacharyya, Bart Kienhuis, Ed F. Deprettere	Parameterized Looped Schedules for Compact Representation of Execution Sequences in DSP Hardware and Software Implementation.	IEEE Transactions on Signal Processing	2007	DBLP DOI BibTeX RDF
1	Don S. Batory	Program Refactoring, Program Synthesis, and Model-Driven Development.	CC	2007	DBLP DOI BibTeX RDF
1	Masahiro Yamamoto	Software synthesis of the web-based questionnarie system.	ICSOFT	2006	DBLP BibTeX RDF
1	André C. Nácul, Tony Givargis	Synthesis of time-constrained multitasking embedded software.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Code serialization, multitasking, software synthesis, real-time embedded software
1	Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani	Intelligent Systems and Formal Methods in Software Engineering.	IEEE Intelligent Systems	2006	DBLP DOI BibTeX RDF	deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
1	Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat	Combinatorial sketching for finite programs.	ASPLOS	2006	DBLP DOI BibTeX RDF	sketching, SAT
1	Ming-Yung Ko, Claudiu Zissulescu, Sebastian Puthenpurayil	Parameterized Looped Schedules for Compact Representationof Execution Sequences.	ASAP	2006	DBLP DOI BibTeX RDF
1	Jinfeng Huang, Jeroen Voeten, Henk Corporaal	Correctness-preserving synthesis for real-time control software.	QSIC	2006	DBLP DOI BibTeX RDF
1	Ivan Corretjer, Chia-Jui Hsu, Shuvra S. Bhattacharyya	Configuration and Representation of Large-Scale Dataflow Graphs using the Dataflow Interchange Format.	SiPS	2006	DBLP DOI BibTeX RDF
1	Andreas Doblander, Dietmar Gösseringer, Bernhard Rinner, Helmut Schwabach	An Evaluation of Model-Based Software Synthesis from Simulink Models for Embedded Video Applications.	International Journal of Software Engineering and Knowledge Engineering	2005	DBLP DOI BibTeX RDF
1	Ismail Assayad, Valérie Bertin, F.-X. Defaut, Philippe Gerner, O. Quévreux, Sergio Yovine	Jahuel: A Formal Framework for Software Synthesis.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Jiwon Hahn, Qiang Xie, Pai H. Chou	Rappit: framework for synthesis of host-assisted scripting engines for adaptive embedded systems.	CODES+ISSS	2005	DBLP DOI BibTeX RDF	adaptive systems, scripting, software synthesis
1	Stephen A. Edwards, Olivier Tardieu	SHIM: a deterministic model for heterogeneous embedded systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	deterministic model of computation, hardware/software codesign, software synthesis, hardware synthesis
1	Dong-Ik Ko, Shuvra S. Bhattacharyya	Modeling of Block-Based DSP Systems.	VLSI Signal Processing	2005	DBLP DOI BibTeX RDF	DSP software synthesis, quasi-static scheduling, memory management, dataflow modeling
1	John D. Carter, Ming Xu, William B. Gardner	Rapid Prototyping of Embedded Software Using Selective Formalism.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Amol Bakshi, Viktor K. Prasanna	Programming Paradigms for Networked Sensing: A Distributed Systems' Perspective.	IWDC	2005	DBLP DOI BibTeX RDF
1	Weidong Wang, Anand Raghunathan, Niraj K. Jha	Profiling Driven Computation Reuse: An Embedded Software Synthesis Technique for Energy and Performance Optimization.	VLSI Design	2004	DBLP DOI BibTeX RDF
1	Emre Turkay, Aniruddha S. Gokhale, Balachandran Natarajan	Addressing the middleware configuration challenges using model-based techniques.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	middleware configuration, model-driven software synthesis, component middleware
1	Kiam Tian Seow, Chuan Ma, Makoto Yokoo	Multiagent Planning as Control Synthesis.	AAMAS	2004	DBLP DOI BibTeX RDF	Discrete-Event Control Synthesis, Multiagent Planning, Multiagent Coordination
1	Shuvra S. Bhattacharyya, Praveen K. Murthy	The CBP Parameter: A Module Characterization Approach for DSP Software Optimization.	VLSI Signal Processing	2004	DBLP DOI BibTeX RDF	array lifetime, block diagram compilers, buffer overlaying, lifetime analysis, embedded systems, design methodology, graph coloring, dataflow