Search results for "system design and verification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Soheil Modirzadeh, Brian Fuller, Sandeep Mirchandani, Jon McDonald, Ran Avinun, Camille Kokozaki	It is all about power analysis, exploration and trade-offs.	ISLPED	2009	DBLP DOI BibTeX RDF	IDT, NXP, broadcom, cadence, system design and verification, technical panel, low power, low power design
1	Didier Buchs, Levi Lucio, Ang Chen	Model Checking Techniques for Test Generation from Business Process Models.	Ada-Europe	2009	DBLP DOI BibTeX RDF	System design and verification, Higher-level Nets, Algebraic Petri Nets, Decisions Diagrams, State Space Generation
1	Kristian L. Espensen, Mads K. Kjeldsen, Lars Michael Kristensen	Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks.	Petri Nets	2008	DBLP DOI BibTeX RDF	System design and verification using nets, experience with using nets, application of nets to protocols and networks, case studies, higher-level net models
1	A. Mignogna, Massimo Conti, M. D'Angelo, Massimo Baleani, Alberto Ferrari	Transaction Level Modeling and Performance Analysis in SystemC of IEEE 802.15.4 Wireless Standard.	DSD	2008	DBLP DOI BibTeX RDF
1	João Marques-Silva, Vasco M. Manquinho	Towards More Effective Unsatisfiability-Based Maximum Satisfiability Algorithms.	SAT	2008	DBLP DOI BibTeX RDF
1	Farhad Arbab, Marjan Sirjani	Applications of Formal Methods to System Design and Verification.	J. UCS	2007	DBLP BibTeX RDF
1	Cécile Braunstein, Emmanuelle Encrenaz	CTL-property Transformations along an Incremental Design Process.	STTT	2007	DBLP DOI BibTeX RDF	System design and verification, Computational tree logic, Simulation relation
1	Naiyong Jin, Taoyong Ni	Interface Specification Assurance Methods.	ISQED	2007	DBLP DOI BibTeX RDF	Component-Based Methodology, Specification Assurance, SAT, PSL
1	Shin-ichi Minato	A Theoretical Study on Variable Ordering of Zero-Suppressed BDDs for Representing Frequent Itemsets.	Discovery Science	2007	DBLP DOI BibTeX RDF
1	Simon Schliecker, Matthias Ivers, Rolf Ernst	Integrated analysis of communicating tasks in MPSoCs.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	multiprocessor performance analysis, real-time, memory accesses
1	Thomas A. Henzinger	Games in system design and verification.	TARK	2005	DBLP DOI BibTeX RDF
1	Shin-ichi Minato, Hiroki Arimura	Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs.	WIRI	2005	DBLP DOI BibTeX RDF
1	Stefano Porcarelli, Felicita Di Giandomenico, Andrea Bondavalli, Paolo Lollini	Model-based evaluation of a radio resource management system for wireless networks.	Conf. Computing Frontiers	2004	DBLP DOI BibTeX RDF	modeling, reliability, wireless networks, resource management system, stochastic activity networks
1	Wayne Wolf	Challenges in System-Level Design.	FMCAD	2004	DBLP DOI BibTeX RDF
1	Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn	Special Issue on Tools for System Design and Verification.	J. UCS	2003	DBLP BibTeX RDF
1	Wolfgang Reif, Gerhard Schellhorn	J.UCS Special Issue on Tools for System Design and Verification - Part 2.	J. UCS	2001	DBLP BibTeX RDF
1	Wolfgang Reif, Gerhard Schellhorn	J.UCS Special Issue on Tools for System Design and Verification - Part 1.	J. UCS	2001	DBLP BibTeX RDF
1	Joaquin Ezpeleta, Fernando García-Vallés, José Manuel Colom	A Class of Well Structured Petri Nets for Flexible Manufacturing Systems.	ICATPN	1998	DBLP DOI BibTeX RDF
1	Lars Michael Kristensen, Antti Valmari	Finding Stubborn Sets of Coloured Petri Nets Without Unfolding.	ICATPN	1998	DBLP DOI BibTeX RDF
1	Peter Langner, Christoph Schneider, Joachim Wehler	Petri Net Based Certification of Event-Driven Process Chains.	ICATPN	1998	DBLP DOI BibTeX RDF
1	I. Gibson, C. Amies	Practical concurrent ASIC and system design and verification.	ED&TC	1997	DBLP DOI BibTeX RDF
1	Søren Christensen, Jens Bæk Jørgensen	Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets.	ICATPN	1997	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols and embedded systems, case studies, higher-level net models, computer tools for nets
1	Jens Bæk Jørgensen, Kjeld Høyer Mortensen	Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Topics System design and verification using nets, experience with using nets, application of nets to protocols, case studies, higher-level net models, computer tools for nets
1	Valerio O. Pinci, Robert M. Shapiro	An integrated software development methodology based on hierarchical colored Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	Hierarchical Coloured Petri Nets, Standard ML, software development methodology, SADT