Search results for "system specification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	HyungJong Kim	System Specification Based Network Modeling for Survivability Testing Simulation.	ICISC	2002	DBLP DOI BibTeX RDF	Survivability, Simulation Model, Vulnerability Analysis, System Specification, DEVS-Formalism
3	Amir Pnueli	System Specification and Refinement in Temporal Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF	stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
2	Carlo A. Furia, Matteo Pradella, Matteo Rossi	Comments on temporal logics for real-time system specification.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	Temporal logic
2	Serguei A. Mokhov, Emil Vassev	Autonomic specification of self-protection for distributed MARF with ASSL.	C3S2E	2009	DBLP DOI BibTeX RDF	autonomic system specification language (ASSL), distributed modular audio recognition framework (DMARF), pattern recognition, autonomic computing, self-protection
2	James J. Nutaro	On constructing optimistic simulation algorithms for the discrete event system specification.	ACM Trans. Model. Comput. Simul.	2008	DBLP DOI BibTeX RDF	discrete-event simulation, parallel simulation, DEVS, Time Warp
2	Emil Vassev, Joey Paquet	ASSL - Autonomic System Specification Language.	SEW	2007	DBLP DOI BibTeX RDF
2	William J. Bolosky, John R. Douceur, Jon Howell	The Farsite project: a retrospective.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	formal system specification, serverless distributed file system, system design iteration, tech transfer, software engineering, project management, distributed debugging
2	Shoupeng Han, Kedi Huang	Equivalent Semantic Translation from Parallel DEVS Models to Time Automata.	International Conference on Computational Science	2007	DBLP DOI BibTeX RDF	Discrete Event System Specification (DEVS), Timed Transition System (TTS), Timed Automata (TA), Semantic Equivalence
2	Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi	Comments on "An Interval Logic for Real-Time System Specification'.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	real-time systems, Formal methods, temporal logic
2	Pierfrancesco Bellini, Paolo Nesi, Davide Rogai	Reply to Comments on "An Interval Logic for Real-Time System Specification'.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	TILCO, conciseness, temporal logic, Formal language, interval temporal logic
2	Fernando Herrera, Eugenio Villar	A framework for embedded system specification under different models of computation in SystemC.	DAC	2006	DBLP DOI BibTeX RDF	SystemC, heterogeneous specification
2	K. S. Cheung, K. O. Chow	Elimination of Duplicate Labels in Petri-Net-Based System Specification.	CIT	2005	DBLP DOI BibTeX RDF
2	Cristiana Bolchini, Fabio Salice, Donatella Sciuto, Luigi Pomante	Reliable System Specification for Self-Checking Data-Paths.	DATE	2005	DBLP DOI BibTeX RDF
2	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
2	Samar Abdi, Daniel Gajski	On deriving equivalent architecture model from system specification.	ASP-DAC	2004	DBLP DOI BibTeX RDF
2	Ryuji Tsuchiya, Akihiko Matsuoka, Koichi Goto, Kiyotaka Seki, Takahiko Ogino	Requirement-driven Approach to Interoperable Traveler Support System Specification.	RE	2004	DBLP DOI BibTeX RDF
2	Ralf Sommer, Irmtraud Rugen-Herzig, Eckhard Hennig, Umberto Gatti, Piero Malcovati, Franco Maloberti, Karsten Einwich, Christoph Clauß, Peter Schwarz, G. Noessing	From System Specification To Layout: Seamless Top-Down Design Methods for Analog and Mixed-Signal Applications.	DATE	2002	DBLP DOI BibTeX RDF
2	Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton	The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. (PDF / PS)	HICSS	2002	DBLP DOI BibTeX RDF	distributed systems, workflows, Component-based systems, system specification
2	Cristiana Bolchini, Luigi Pomante, Fabio Salice, Donatella Sciuto	Reliability Properties Assessment at System Level: A Co-Design Framework.	J. Electronic Testing	2002	DBLP DOI BibTeX RDF	partitioning, system specification, hw/sw co-design, hardware fault detection
2	Riccardo Mattolini, Paolo Nesi	An Interval Logic for Real-Time System Specification.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, Formal specification language, temporal interval logic
2	Pierfrancesco Bellini, Paolo Nesi	Communicating TILCO: A Model for Real-Time System Specification.	ICECCS	2001	DBLP DOI BibTeX RDF	real-time systems, first order logic, verification and validation, formal specification language, temporal interval logic
2	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
2	Giulio Gorla, Eduard Moser, Wolfgang Nebel, Eugenio Villar	System Specification Experiments on a Common Benchmark.	IEEE Design & Test of Computers	2000	DBLP DOI BibTeX RDF
2	Perry Alexander, Roshan Kamath, David Barton	System Specification in Rosetta.	ECBS	2000	DBLP DOI BibTeX RDF
2	Leandro Buss Becker, Carlos Eduardo Pereira, Octávio Páscoa Dias, Isabel C. Teixeira, João Paulo Teixeira	MOSYS A Methodology for Automatic Object Identification from System Specification.	ISORC	2000	DBLP DOI BibTeX RDF
2	Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto	A GUI and testing tool for SOFL.	APSEC	2000	DBLP DOI BibTeX RDF	VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
2	Paul R. Taylor	Problem Frames and Object-Oriented Software Architecture.	TOOLS	2000	DBLP DOI BibTeX RDF	object oriented software architecture, systemic problems, modern software development, problem space orientation, solution space concerns, generic problem structural patterns, structural driver, reference software architecture, business component design, software architecture, object-oriented programming, business data processing, object oriented framework, system specification, software standards, problem frames
2	Francesco Curatelli, Leonardo Mangeruca, Marco Chirico	A Message-Passing Communication Scheme for System Specification.	EUROMICRO	1999	DBLP DOI BibTeX RDF
2	Sandy Tyndale-Biscoe, Bryan Wood	Machine responsibility-how to deal with it. (PDF / PS)	EDOC	1997	DBLP DOI BibTeX RDF	machine responsibility, Enterprise Language, Open Distributed Processing, distributed processing, Reference Model, enterprise modelling, IT systems, system specification, RM-ODP
2	Karlheinz Agsteiner, Dieter Monjau, Sören Schulze	Automating system construction by domain based approaches.	EUROMICRO	1997	DBLP DOI BibTeX RDF	system construction, domain based approaches, target system, abstract system specification, formal specification, specification, requirements, VHDL, digital systems, object-oriented approach, RISC processors
2	V. Kasurinen, Kaisa Sere	Integrating Action Systems and Z in a Medical System Specification.	FME	1996	DBLP DOI BibTeX RDF
2	Aki Watanabe, Ken Sakamura	A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System Standards.	ICSE	1996	DBLP BibTeX RDF	ITRON2 real time multi task operating system specification, SBATCG method, abstract state transitions, commercially available ITRON2 implementations, fault exposure abilities, open operating system standards, specification based adaptive test case generation strategy, real-time systems, formal specification, specification languages, program testing, open systems, templates, Z, operating systems (computers), multiprogramming, integration testing, mutation analysis, Z notation, software standards, formal specification languages, model based specification, fault detecting ability, internal structure
2	Bernard P. Zeigler, Doohwan Kim	Design of High Level Modelling / High Performance Simulation Environments.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Discrete Event System Specification, Distributed Parallel Simulation, Containers Classes, Watershed Modelling, Connection Machine CM-5, Geographical Information System, Object-oriented Programming
2	R. Miller, H. Carter, K. Davis, S. Venkatesan 0001	Hardware/software cosynthesis: multiple constraint satisfaction and component retrieval.	ICECCS	1996	DBLP DOI BibTeX RDF	hardware software cosynthesis, multiple constraint satisfaction, high-level system specification, constraint-driven retrieval, candidate solution evaluation, cosynthesis tool, multiple design constraints, two constraint Fidducia-Matheyses approach, flexible component retrieval, design database, ad hoc querying, systems analysis, hardware description language, design space, component retrieval
2	Alfs T. Berztiss	The software process and application domains. (PDF / PS)	ISPW	1996	DBLP DOI BibTeX RDF	pattern library, car rental, hotel room booking, information systems, software reuse, software reusability, software process model, software products, application domains, system specification
2	Kevin Lano	Reactive System Specification and Refinement.	TAPSOFT	1995	DBLP DOI BibTeX RDF
2	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	M. Esen Tuna, Kamlesh Rath, Steven D. Johnson	Specification and synthesis of bounded indirection.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	bounded indirection, complex control structures, dynamic connections, control state indirection, value indirection, net indirection, behavior tables, data path descriptions, DMA controller, formal specification, high level synthesis, finite state machines, interrupts, interrupts, continuations, hardware description languages, hardware description languages, pointers, system specification, data flow computing, control system CAD
2	John-Jules Ch. Meyer, Roel Wieringa	Actor-Oriented System Specification with Dynamic Logic.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF	Subject area Specification of systems, combining different logics
2	Angelo Morzenti, Pierluigi San Pietro	An Object-Oriented Logic Language for Modular System Specification.	ECOOP	1991	DBLP DOI BibTeX RDF
2	Arturo I. Concepcion, Bernard P. Zeigler	DEVS Formalism: A Framework for Hierarchical Model Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	hierarchical model development, distributed simulator architectures, Discrete Event System Specification, hierarchical model specification, top-down model development, software engineering, distributed processing, programming theory, DEVS, model representation, discrete event models
1	Vincent Nivoliers, Cédric Gérot, Victor Ostromoukhov, N. F. Stewart	L-system specification of knot-insertion rules for non-uniform B-spline subdivision.	Computer Aided Geometric Design	2012	DBLP DOI BibTeX RDF
1	Amel Mammar, Wissam Mallouli, Ana R. Cavalli	A systematic approach to integrate common timed security rules within a TEFSM-based system specification.	Information & Software Technology	2012	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio, Matias David Lee	Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation.	FoSSaCS	2012	DBLP DOI BibTeX RDF
1	Eunshin Byon, Eduardo Pérez, Yu Ding, Lewis Ntaimo	Simulation of wind farm operations and maintenance using discrete event system specification.	Simulation	2011	DBLP DOI BibTeX RDF
1	Douglas Walton	A dialogue system specification for explanation.	Synthese	2011	DBLP DOI BibTeX RDF
1	Manfred Broy	Towards a Theory of Architectural Contracts: - Schemes and Patterns of Assumption/Promise Based System Specification.	Software and Systems Safety - Specification and Verification	2011	DBLP DOI BibTeX RDF
1	Yaseen Zaidi, Christoph Grimm, Jan Haase	Simulation based tuning of system specification.	DATE	2011	DBLP BibTeX RDF
1	Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu	Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.	TASE	2011	DBLP DOI BibTeX RDF
1	Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer	A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation.	Simulation	2010	DBLP DOI BibTeX RDF
1	Radek Kocí, Vladimír Janousek	OOPN and DEVS Formalisms for System Specification and Analysis.	ICSEA	2010	DBLP DOI BibTeX RDF
1	David Wu, Damian M. Tan, Hong Ren Wu	Perceptual coding at the threshold level for the Digital Cinema System Specification.	ICME	2010	DBLP DOI BibTeX RDF
1	Serguei A. Mokhov, Emil Vassev, Joey Paquet, Mourad Debbabi	Towards a self-forensics property in the ASSL toolset.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, JOOIP, forensic lucid, self-forensics, autonomic computing, GIPSY, forensic computing
1	Emil Vassev, Mike Hinchey	Rapid prototyping and development of intelligent sensor networks with ASSL and DMF.	C3S2E	2010	DBLP DOI BibTeX RDF	ASSL, DMF, sensor networks, architecture, prototyping
1	Hana Chockler, Daniel Kroening, Mitra Purandare	Coverage in interpolation-based model checking.	DAC	2010	DBLP DOI BibTeX RDF
1	Ivonne Erfurth, Wilhelm Rossak	CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects.	ICSE	2010	DBLP DOI BibTeX RDF	CUTA, UML activity, requirements elicitation, card games
1	William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref	SecureBlox: customizable secure distributed data processing.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	secure data management, datalog, distributed query processing
1	Wissam Mallouli, Amel Mammar, Ana R. Cavalli	A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.	APSEC	2009	DBLP DOI BibTeX RDF
1	Malek Naoues, Dominique Morche, Cedric Dehos, Rim Barrak, Adel Ghazel	Novel behavioral DAC modeling technique for WirelessHD system specification.	ICECS	2009	DBLP DOI BibTeX RDF
1	Nicoletta Fornara	Open Interaction System Specification and Monitoring Using Semantic Web Technology.	MALLOW	2009	DBLP BibTeX RDF
1	Emil Vassev, Serguei A. Mokhov	An ASSL-generated architecture for autonomic systems.	C3S2E	2009	DBLP DOI BibTeX RDF	ASSL, architecture, code generation, autonomic computing
1	Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel Lohmann	Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.	CASES	2009	DBLP DOI BibTeX RDF	ciao, priority-driven, rate-monotonic priority inversion, tricore, real-time systems, interrupt handling
1	Patrik Bichsel, Jan Camenisch, Thomas Groß, Victor Shoup	Anonymous credentials on a standard java card.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	privacy-enhancing systems, smart card, java card, anonymous credential systems
1	Manfred Broy	From system requirements documents to integrated system modeling artifacts.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	integrated artifact models, tool support
1	Marco D. Santambrogio, Massimo Redaelli, Marco Maggioni	Task graph scheduling for reconfigurable architectures driven by reconfigurations hiding and resources reuse.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	scheduling, fpga, dynamic reconfiguration
1	Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner	Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams.	SBCCI	2009	DBLP DOI BibTeX RDF	embedded systems, formal verification, model driven engineering
1	Esteban Pavese, Víctor A. Braberman, Sebastián Uchitel	Probabilistic environments in the quantitative analysis of (non-probabilistic) behaviour models.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	model checking, probability, behaviour models, interface automata
1	Elie El Ajaltouni, Azzedine Boukerche, Ming Zhang	A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations.	SpringSim	2009	DBLP DOI BibTeX RDF	grid, discrete event simulation, dynamic load balancing, DEVS
1	Joe Mooney, Hessam S. Sarjoughian	A framework for executable UML models.	SpringSim	2009	DBLP DOI BibTeX RDF	discrete event simulation, state machine, DEVS, executable UML
1	Hesham Saadawi, Gabriel A. Wainer	Verification of real-time DEVS models.	SpringSim	2009	DBLP DOI BibTeX RDF	formal methods verification, timed automata, DEVS, real-time software
1	Jean François Santucci, Emmanuelle de Gentili	Dynamic variable structure modelling and simulation of the Claude Levi-Strauss's mythical thought morphodynamics.	SpringSim	2009	DBLP DOI BibTeX RDF	Levi-Strauss, structural anthropology, variable dynamic structure, discrete event simulation, DEVS
1	Yong-Jun You, Sung-Do Chi	SIMVA: simulation-based network vulnerability analysis system.	SpringSim	2009	DBLP DOI BibTeX RDF	SES/MB, vulnerability analysis system, simulation, network security, DEVS
1	Sergey Tverdyshev	A verified platform for a gate-level electronic control unit.	FMCAD	2009	DBLP DOI BibTeX RDF
1	Jin Song Dong, Jun Sun 0001	Towards Expressive Specification and Efficient Model Checking.	TASE	2009	DBLP DOI BibTeX RDF
1	Hehua Zhang, Stephan Merz, Ming Gu	Specifying and Verifying PLC Systems with TLA+.	TASE	2009	DBLP DOI BibTeX RDF
1	Eric Le Pors, Olivier Grisvard	Conceptual Modeling for System Requirements Enhancement.	Ada-Europe	2009	DBLP DOI BibTeX RDF	conceptual modeling, requirements, complex systems, System engineering
1	Alexei Lapouchnian, Yves Lespérance	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
1	Mark A. Hillebrand, Sergey Tverdyshev	Formal Verification of Gate-Level Computer Systems.	CSR	2009	DBLP DOI BibTeX RDF
1	Alix Mougenot, Xavier Blanc, Marie-Pierre Gervais	D-Praxis : A Peer-to-Peer Collaborative Model Editing Framework.	DAIS	2009	DBLP DOI BibTeX RDF
1	António Mota, Antonio J. M. Castro, Luís Paulo Reis	Recovering from Airline Operational Problems with a Multi-Agent System: A Case Study.	EPIA	2009	DBLP DOI BibTeX RDF	operations recovery, multi-agent system, Disruption management
1	Maxim Gromov, Khaled El-Fakih, Natalia Shabaldina, Nina Yevtushenko	Distinguing Non-deterministic Timed Finite State Machines.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
1	Fernando Luís Dotti, Alexei Iliasov, Leila Ribeiro, Alexander Romanovsky	Modal Systems: Specification, Refinement and Realisation.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Ammar Mohammed, Christian Schwarz	HieroMate: A Graphical Tool for Specification and Verification of Hierarchical Hybrid Automata.	KI	2009	DBLP DOI BibTeX RDF
1	Jonas Helming, Maximilian Koegel, Helmut Naughton, Jörn David, Aleksandar Shterev	Traceability-Based Change Awareness.	MoDELS	2009	DBLP DOI BibTeX RDF	Change awareness, operation-based, traceability, notification, unified model
1	Kazuyuki Sakoda, Yuichi Morioka, Chihiro Fujita, Erica Tanimoto, Kenzoh Nishikawa, Mitsuhiro Suzuki	Implementation and Evaluation of WiMedia MAC LSI.	ISA	2009	DBLP DOI BibTeX RDF	WiMedia, ECMA-368, ECMA-369, Superframe, Beacon Period, DRP, Block ACK, ECMA-387, PCA, MAC, UWB, PAN, LSI, adhoc network
1	Angelo Furfaro, Libero Nigro	A development methodology for embedded systems based on RT-DEVS.	ISSE	2009	DBLP DOI BibTeX RDF	Embedded control systems, Model continuity, Java, Model checking, Timed automata, DEVS, Temporal analysis, Real-time constraints
1	Farhat Thabet, Philippe Coussy, Dominique Heller, Eric Martin	Exploration and Rapid Prototyping of DSP Applications using SystemC Behavioral Simulation and High-level Synthesis.	Signal Processing Systems	2009	DBLP DOI BibTeX RDF	Prototyping, Refinement, High-level synthesis, Design space exploration, System level design
1	Sadaf Mustafiz, Jörg Kienzle	DREP: A Requirements Engineering Process for Dependable Reactive Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
1	Sajjad Mahmood, Richard Lai	A complexity measure for UML component-based system specification.	Softw., Pract. Exper.	2008	DBLP DOI BibTeX RDF
1	Thareendhra Wijayasiriwardhane, Richard Lai	A Method for Measuring the Size of a Component-Based System Specification.	QSIC	2008	DBLP DOI BibTeX RDF	Component Point, Function Point extension, Software Measurement, Component-Based Systems, Component-Based Software Development, Software Effort Estimation, Software Size Estimation
1	Fernando J. Barros	Semantics of dynamic structure event-based systems.	DEBS	2008	DBLP DOI BibTeX RDF	event-based systems
1	Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom Mens	Detecting model inconsistency through operation-based model construction.	ICSE	2008	DBLP DOI BibTeX RDF	model, consistency, logic, meta-model
1	Tiago Lopes Telecken, Ethan V. Munson, José Valdeni de Lima	Applying markup language resources in the specification of visual alphabets and visual sentences.	SAC	2008	DBLP DOI BibTeX RDF	visual alphabet, visual sentence, XML
1	Emil Vassev, Mike Hinchey, Joey Paquet	Towards an ASSL specification model for NASA swarm-based exploration missions.	SAC	2008	DBLP DOI BibTeX RDF	swarm missions, autonomic computing, formal specification language
1	Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer	A formal framework for stochastic DEVS modeling and simulation.	SpringSim	2008	DBLP DOI BibTeX RDF	discrete event simulation, DEVS, stochastic systems
1	Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min	A design framework for real-time embedded systems with code size and energy constraints.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, Embedded, energy, code size
1	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
1	Thierry Antoine-Santoni, Jean François Santucci, Emmanuelle de Gentili, Bernadette Costa	DEVS-WSN : A discrete event approach for Wireless Sensor Network simulation.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Seongnam Kwon, Soonhoi Ha	Serialized multitasking code generation from dataflow specification.	ESTImedia	2008	DBLP DOI BibTeX RDF
1	Naiyong Jin, Juan Zhou, Taoyong Ni	iPSL: An Environment for IP-Based PSL Specification.	ICECCS	2008	DBLP DOI BibTeX RDF