Search results for "analyzable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
73	K. H. Kim, Yuqing Li	Toward Easily Analyzable Sensor Networks via Structuring of Time-Triggered Tasks.	FTDCS	2003	DBLP DOI BibTeX RDF	timetriggered, TTF, TCoDA, preemptive, real time, network, wireless, Sensor, kernel, TDMA, analyzable, service function
47	Eduardo B. Fernández, Robert B. France	Formal specification of real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time dependable systems, analyzable specifications, specification analysis techniques, fault-tolerant quality, security quality, safety-critical quality, behavioral quality, precise specification language, formal reasoning systems, nonfunctional qualities, multilevel description, real-time systems, formal specification, formal specification, specification languages, security of data, software fault tolerance, consistency check, safety-critical software, system monitoring
40	Pramod Chandraiah, Rainer Dömer	Automatic re-coding of reference code into structured and analyzable SoC models.	ASP-DAC	2008	DBLP DOI BibTeX RDF
40	Ali Kamandi, Jafar Habibi	Toward a New Analyzable Architectural Description Language based on OSAN.	ICSEA	2007	DBLP DOI BibTeX RDF
40	Lars Grunske, Bernhard Kaiser	Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.	QSIC	2005	DBLP DOI BibTeX RDF	Failure Propagation Transformation Notation, Component Fault Trees, System analysis, System architectures, Safety analysis
40	Thomas Kolloch, Georg Färber	Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study.	LCTES	1998	DBLP DOI BibTeX RDF
28	Praveen Jayachandran, Tarek F. Abdelzaher	Transforming Distributed Acyclic Systems into Equivalent Uniprocessors under Preemptive and Non-Preemptive Scheduling.	ECRTS	2008	DBLP DOI BibTeX RDF
28	Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin	Verification Driven Formal Architecture and Microarchitecture Modeling.	MEMOCODE	2007	DBLP DOI BibTeX RDF
28	Julio L. Medina, J. Javier Gutiérrez, José M. Drake, Michael González Harbour	Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.	Ada-Europe	2002	DBLP DOI BibTeX RDF
28	Julio Luis Medina Pasaje, Michael González Harbour, José M. Drake	MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time System.	RTSS	2001	DBLP DOI BibTeX RDF
26	Joseph W. Cutler, Craig Disselkoen, Aaron Eline, Shaobo He, Kyle Headley, Michael Hicks 0001, Kesha Hietala, Eleftherios Ioannidis, John H. Kastner, Anwar Mamat, Darin McAdams, Matt McCutchen, Neha Rungta, Emina Torlak, Andrew Wells	Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version).	CoRR	2024	DBLP DOI BibTeX RDF
26	Lu Wang, Wenyao Zhang	A qualitatively analyzable two-stage ensemble model based on machine learning for credit risk early warning: Evidence from Chinese manufacturing companies.	Inf. Process. Manag.	2023	DBLP DOI BibTeX RDF
26	Abdulkadir Albayrak	Classification of analyzable metaphase images using transfer learning and fine tuning.	Medical Biol. Eng. Comput.	2022	DBLP DOI BibTeX RDF
26	Christoph Kühbacher	Analyzable dataflow executions with adaptive redundancy.		2022	RDF
26	Pedro Benedicte Illescas	Smart hardware designs for probabilistically-analyzable processor architectures.		2022	RDF
26	Grzegorz Kwasniewski, Tal Ben-Nun, Lukas Gianinazzi, Alexandru Calotoiu, Timo Schneider, Alexandros Nikolaos Ziogas, Maciej Besta, Torsten Hoefler	Pebbles, Graphs, and a Pinch of Combinatorics: Towards Tight I/O Lower Bounds for Statically Analyzable Programs.	CoRR	2021	DBLP BibTeX RDF
26	Rohan Tabish, Jen-Yang Wen, Rodolfo Pellizzoni, Renato Mancuso 0001, Heechul Yun, Marco Caccamo, Lui Raymond Sha	An Analyzable Inter-core Communication Framework for High-Performance Multicore Embedded Systems.	J. Syst. Archit.	2021	DBLP DOI BibTeX RDF
26	Saeid Dehnavi, Dip Goswami, Kees Goossens	Analyzable Publish-Subcribe Communication Through a Wait-Free FIFO Channel for MPSoC Real-Time Applications.	MCSoC	2021	DBLP DOI BibTeX RDF
26	Grzegorz Kwasniewski, Tal Ben-Nun, Lukas Gianinazzi, Alexandru Calotoiu, Timo Schneider, Alexandros Nikolaos Ziogas, Maciej Besta, Torsten Hoefler	Pebbles, Graphs, and a Pinch of Combinatorics: Towards Tight I/O Lower Bounds for Statically Analyzable Programs.	SPAA	2021	DBLP DOI BibTeX RDF
26	Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi	Inferring analyzable models from trajectories of spatially-distributed internet of things.	SEAMS@ICSE	2019	DBLP DOI BibTeX RDF
26	Hakan Yilmaz, Muhammed Kamil Turan	Filter development for automatic detection of analyzable metaphases.	SIU	2018	DBLP DOI BibTeX RDF
26	Johyn Papin, Frédéric Andrès, Laurent d'Orazio	A Method to Build a Geolocalized Food Price Time Series Knowledge Base Analyzable by Everyone.	LADaS@VLDB	2018	DBLP BibTeX RDF
26	Yoshinobu Kano, Reina Hoshino, Ryosuke Taniguchi	Analyzable Legal Yes/No Question Answering System using Linguistic Structures.	COLIEE@ICAIL	2017	DBLP DOI BibTeX RDF
26	Benjamin Rouxel, Isabelle Puaut	STR2RTS: Refactored StreamIT Benchmarks into Statically Analyzable Parallel Benchmarks for WCET Estimation & Real-Time Scheduling.	WCET	2017	DBLP DOI BibTeX RDF
26	Mladen Slijepcevic	Probabilistically time-analyzable complex processor designs.		2017	RDF
26	Mladen Slijepcevic, Mikel Fernández, Carles Hernández 0001, Jaume Abella 0001, Eduardo Quiñones, Francisco J. Cazorla	pTNoC: Probabilistically Time-Analyzable Tree-Based NoC for Mixed-Criticality Systems.	DSD	2016	DBLP DOI BibTeX RDF
26	Shaoyi Cheng, John Wawrzynek	Synthesis of statically analyzable accelerator networks from sequential programs.	ICCAD	2016	DBLP DOI BibTeX RDF
26	David Trilla, Carles Hernández 0001, Jaume Abella 0001, Francisco J. Cazorla	Resilient random modulo cache memories for probabilistically-analyzable real-time systems.	IOLTS	2016	DBLP DOI BibTeX RDF
26	Akane Kawaharada, Tomoyuki Miyaji, Naoto Nakano	An Analyzable Method for Constructing a Cellular Automaton from a Continuous System.	CANDAR	2015	DBLP DOI BibTeX RDF
26	Edgar Sarmiento, Eduardo Almentero, Julio César Sampaio do Prado Leite, Guina Sotomayor Alzamora	Mapping Textual Scenarios to Analyzable Petri-Net Models.	ICEIS (2)	2015	DBLP DOI BibTeX RDF
26	Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery D. Berger, Jaume Abella 0001, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, Dorin Maxim	PROARTIS: Probabilistically Analyzable Real-Time Systems.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
26	Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi	A balance of power: expressive, analyzable controller programming.	HotSDN	2013	DBLP DOI BibTeX RDF
26	Sagar Sunkle, Vinay Kulkarni, Suman Roychoudhury	Analyzable Enterprise Models Using Ontology.	CAiSE Forum	2013	DBLP BibTeX RDF
26	Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur	BPDF: A statically analyzable dataflow model with integer and boolean parameters.	EMSOFT	2013	DBLP DOI BibTeX RDF
26	Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson	An Analyzable Model of Automated Service Negotiation.	SOSE	2013	DBLP DOI BibTeX RDF
26	Pramod Chandraiah, Rainer Dömer	Computer-Aided Recoding to Create Structured and Analyzable System Models.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
26	Philip Axer, Rolf Ernst	Designing an Analyzable and Resilient Embedded Operating System.	GI-Jahrestagung	2012	DBLP BibTeX RDF
26	Glenn Bruns, Michael Huth 0001	Access control via belnap logic: Intuitive, expressive, and analyzable policy composition.	ACM Trans. Inf. Syst. Secur.	2011	DBLP DOI BibTeX RDF
26	Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin, Jan Carlson	Analyzable Modeling of Legacy Communication in Component-Based Distributed Embedded Systems.	EUROMICRO-SEAA	2011	DBLP DOI BibTeX RDF
26	Jaume Abella 0001, Eduardo Quiñones, Francisco J. Cazorla, Yanos Sazeides, Mateo Valero	RVC: a mechanism for time-analyzable real-time processors with faulty caches.	HiPEAC	2011	DBLP DOI BibTeX RDF
26	Hans-Hellmut Nagel	Vision, Logic, and Language - Toward Analyzable Encompassing Systems.	KI	2010	DBLP DOI BibTeX RDF
26	Nianhua Yang, Huiqun Yu, Hua Sun, Zhilin Qian	Mapping UML Activity Diagrams to Analyzable Petri Net Models.	QSIC	2010	DBLP DOI BibTeX RDF
26	Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Mateo Valero	An Analyzable Memory Controller for Hard Real-Time CMPs.	IEEE Embed. Syst. Lett.	2009	DBLP DOI BibTeX RDF
26	Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya	UM-RTCOM: An analyzable component model for real-time distributed systems.	J. Syst. Softw.	2008	DBLP DOI BibTeX RDF
26	Xingwei Wang 0004, Shibo Li, Hong Liu 0003, Marc C. Wood, Wei R. Chen, Bin Zheng 0001	Automated identification of analyzable metaphase chromosomes depicted on microscopic digital images.	J. Biomed. Informatics	2008	DBLP DOI BibTeX RDF
26	K. H. (Kane) Kim, Juan A. Colmenares	Maximizing Concurrency and Analyzable Timing Behavior in Component-Oriented Real-Time Distributed Computing Application Systems.	J. Comput. Sci. Eng.	2007	DBLP DOI BibTeX RDF
26	Naghmeh Ghafari, Richard J. Trefler	Piecewise FIFO Channels Are Analyzable.	VMCAI	2006	DBLP DOI BibTeX RDF
26	Ali Kamandi, Mohammad Abdollahi Azgomi, Ali Movaghar 0001	Transformation of UML Models into Analyzable OSAN Models.	FSEN	2005	DBLP DOI BibTeX RDF
26	Ali El-Haj-Mahmoud, Ahmed S. Al-Zawawi, Aravindh Anantaraman, Eric Rotenberg	Virtual multiprocessor: an analyzable, high-performance architecture for real-time computing.	CASES	2005	DBLP DOI BibTeX RDF	worst-case execution time, schedulability analysis, superscalar processor, simultaneous multithreading, hard real-time, resource partitioning
26	Sarfraz Khurshid, Darko Marinov, Daniel Jackson 0001	An analyzable annotation language.	OOPSLA	2002	DBLP DOI BibTeX RDF	alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
26	Ramesh Govindan, Cengiz Alaettinoglu, George Eddy, David Kessens, Satish Kumar, WeeSan Lee	An architecture for stable, analyzable Internet routing.	IEEE Netw.	1999	DBLP DOI BibTeX RDF
26	Thomas J. Marlowe, Alexander D. Stoyenko, Stephen P. Masticola, Lonnie R. Welch	Schedulability-Analyzable Exception Handling for Fault-Tolerant Real-Time Languages.	Real Time Syst.	1994	DBLP DOI BibTeX RDF
26	Alexander D. Stoyenko, Theodore P. Baker	Real-time schedulability-analyzable mechanisms in Ada9X.	Proc. IEEE	1994	DBLP DOI BibTeX RDF
14	Axel van Lamsweerde	Model engineering for model-driven engineering.	EICS	2010	DBLP DOI BibTeX RDF	requirements, system design, model-driven engineering
14	Kanghee Kim, Chang-Gun Lee	A Safe Stochastic Analysis with Relaxed Limitations on the Periodic Task Model.	IEEE Trans. Computers	2009	DBLP DOI BibTeX RDF
14	Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang 0001	INFAMY: An Infinite-State Markov Model Checker.	CAV	2009	DBLP DOI BibTeX RDF
14	Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster	Profile-guided static typing for dynamic scripting languages.	OOPSLA	2009	DBLP DOI BibTeX RDF	RIL, profile guided anlaysis, scripting languages, ruby
14	Henrik Berg, Roland Olsson 0001, Per-Olav Rusås, Morgan Jakobsen	Automated synthesis of control algorithms from first principles.	IROS	2009	DBLP DOI BibTeX RDF
14	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla	Field-Sensitive Value Analysis by Field-Insensitive Analysis.	FM	2009	DBLP DOI BibTeX RDF
14	Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui	Transforming UML models to colored petri nets models using graph grammars.	ISCC	2009	DBLP DOI BibTeX RDF
14	Daniel Zinn, Shawn Bowers, Timothy M. McPhillips, Bertram Ludäscher	Scientific workflow design with data assembly lines.	SC-WORKS	2009	DBLP DOI BibTeX RDF
14	Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero	Hardware support for WCET analysis of hard real-time multicore systems.	ISCA	2009	DBLP DOI BibTeX RDF	wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability
14	Christian Wagner 0005, Tiziana Margaria, Hans-Georg Pagendarm	Analysis and Code Model Extraction for C/C++ Source Code.	ICECCS	2009	DBLP DOI BibTeX RDF
14	Jian Liu, Dianfu Ma, Zhuqing Li, Dou Sun	A Formal Description of Web Services Container Architecture.	ICIW	2009	DBLP DOI BibTeX RDF
14	Adam Kirsch, Michael Mitzenmacher	Simple summaries for hashing with choices.	IEEE/ACM Trans. Netw.	2008	DBLP DOI BibTeX RDF	table lookup, hash tables, router architecture
14	Ilya Issenin, Nikil D. Dutt	Using FORAY Models to Enable MPSoC Memory Optimizations.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	FORAY model, affine index expressions, Embedded systems, MPSoC, memory optimizations, scratch pad memory
14	Jonathan Barre, Christine Rochange, Pascal Sainrat	A Predictable Simultaneous Multithreading Scheme for Hard Real-Time.	ARCS	2008	DBLP DOI BibTeX RDF
14	Axel van Lamsweerde	Requirements engineering: from craft to discipline.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	lightweight analysis, problem modeling, responsibility assignment, specification construction, requirements engineering, system design, goal orientation, formal derivation, operationalization
14	Florian Wagner 0006, Joachim Bohl, Georg Frey	An IEC 61499 interpretation and implementation focused on usability.	ETFA	2008	DBLP DOI BibTeX RDF
14	Naoto Miyoshi, Takeya Shigezumi, Ryuhei Uehara, Osamu Watanabe 0001	Scale Free Interval Graphs.	AAIM	2008	DBLP DOI BibTeX RDF	scale free graph, interval graphs, small world network
14	Denis Gopan, Thomas W. Reps	Low-Level Library Analysis and Summarization.	CAV	2007	DBLP DOI BibTeX RDF
14	Wei Qin, Asa Ben-Tzur, Boris Gutkovich	An ADL for Functional Specification of IA32.	MTV	2007	DBLP DOI BibTeX RDF
14	Vassilis G. Kaburlasos	Unified Analysis and Design of ART/SOM Neural Networks and Fuzzy Inference Systems Based on Lattice Theory.	IWANN	2007	DBLP DOI BibTeX RDF	Neural Networks, Self-Organizing Map (SOM), Fuzzy Inference System (FIS), Adaptive Resonance Theory (ART), Lattice Theory
14	Gera Weiss, Rajeev Alur	Automata Based Interfaces for Control and Scheduling.	HSCC	2007	DBLP DOI BibTeX RDF
14	Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani	Programming asynchronous layers with CLARITY.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	asynchronous components, design for analyzability, concurrency, static analysis, event-driven programming
14	Bolei Guo, Neil Vachharajani, David I. August	Shape analysis with inductive recursion synthesis.	PLDI	2007	DBLP DOI BibTeX RDF	inductive recursion synthesis, loop invariant inference, artificial intelligence, shape analysis, separation logic
14	Sheng Liu, K. H. (Kane) Kim, Sung-Jin Kim, Zhen Zhang, Jongho Nang, Ki-Seok Choi, Yongbin Kang	TMO Structuring of a Networked System for Seamless Streaming and Tiled Display of High-Definition Movies.	SEUS	2007	DBLP DOI BibTeX RDF	HD video streaming, intra-stream synchronization, multimedia, real time, middleware, distributed, programming, object, jitter, message, TMO, time triggered, tiled display, global time
14	Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele	Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.	RTSS	2007	DBLP DOI BibTeX RDF
14	Yang Zhao, Jie Liu 0001, Edward A. Lee	A Programming Model for Time-Synchronized Distributed Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
14	Gabor Batori, Zoltán Theisz, Domonkos Asztalos	Domain Specific Modeling Methodology for Reconfigurable Networked Systems.	MoDELS	2007	DBLP DOI BibTeX RDF
14	Engin Uzuncaova, Sarfraz Khurshid	Kato: A Program Slicing Tool for Declarative Specifications.	ICSE	2007	DBLP DOI BibTeX RDF
14	Nicholas J. Wang, Aqeel Mahesri, Sanjay J. Patel	Examining ACE analysis reliability estimates using fault-injection.	ISCA	2007	DBLP DOI BibTeX RDF	fault tolerance, microprocessors, soft errors, measurement techniques
14	Engin Uzuncaova, Sarfraz Khurshid	Program slicing for declarative models.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
14	Konstantinos Varsos, Jonathan E. Luntz	Superposition Methods for Distributed Manipulation Using Quadratic Potential Force Fields.	IEEE Trans. Robotics	2006	DBLP DOI BibTeX RDF
14	John Aycock, Rennie deGraaf, Michael J. Jacobson Jr.	Anti-disassembly using Cryptographic Hash Functions.	J. Comput. Virol.	2006	DBLP DOI BibTeX RDF	Code armoring, Reverse-engineering, Hash function, Virus, Disassembly
14	Simon Huettinger, Johannes B. Huber	Analysis and Design of Power-Efficient Coding Schemes With Parallel Concatenated Convolutional Codes.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
14	Roger D. Maddux	Finite Symmetric Integral Relation Algebras with No 3-Cycles.	RelMiCS	2006	DBLP DOI BibTeX RDF
14	Konstantinos Varsos, Jonathan E. Luntz	Superposition of Quadratic Potential Force Fields for Distributed Manipulation.	IROS	2006	DBLP DOI BibTeX RDF
14	Bastian Florentz, Michaela Huhn	Embedded Systems Architecture: Evaluation and Analysis.	QoSA	2006	DBLP DOI BibTeX RDF
14	Axel Martens, Simon Moser	Diagnosing SCA Components Using Wombat.	Business Process Management	2006	DBLP DOI BibTeX RDF	Tool based Verification, SOA, Petri nets, Business Process Modeling, BPEL, Web service composition, State Machine
14	Fei Hu, Vishwani D. Agrawal	Input-specific dynamic power optimization for VLSI circuits.	ISLPED	2006	DBLP DOI BibTeX RDF	dynamic power optimization, glitch reduction, input specific
14	Thomas Wies, Viktor Kuncak, Patrick Lam 0001, Andreas Podelski, Martin C. Rinard	Field Constraint Analysis.	VMCAI	2006	DBLP DOI BibTeX RDF
14	Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira	Reasoning About Exception Flow at the Architectural Level.	RODIN Book	2006	DBLP DOI BibTeX RDF
14	K. H. (Kane) Kim	Systematic Composition and Analyzability of Dependable Networked Embedded Computing Systems.	SRDS	2006	DBLP DOI BibTeX RDF
14	Douglas C. Schmidt	Model Driven Development for Distributed Real-Time and Embedded Systems.	MoDELS	2005	DBLP DOI BibTeX RDF
14	Ilya Issenin, Nikil D. Dutt	FORAY-GEN: Automatic Generation of Affine Functions for Memory Optimizations.	DATE	2005	DBLP DOI BibTeX RDF
14	Jan Trowitzsch, Armin Zimmermann, Günter Hommel	Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets.	IPDPS	2005	DBLP DOI BibTeX RDF
14	Sheng-Jie Syu, Jing Chen	An Active Space Recycling Mechanism for Flash Storage Systems in Real-Time Application Environment.	RTCSA	2005	DBLP DOI BibTeX RDF
14	Katharina Anna Lehmann, Michael Kaufmann 0001	Evolutionary algorithms for the self-organized evolution of networks.	GECCO	2005	DBLP DOI BibTeX RDF	evolution of networks, evolutionary algorithm, self-organization
14	Zhen-Hua Ling, Yu Hu 0003, Ren-Hua Wang	A Novel Source Analysis Method by Matching Spectral Characters of LF Model with STRAIGHT Spectrum.	ACII	2005	DBLP DOI BibTeX RDF