The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for ptolemy with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1991-1998 (15) 1999-2003 (19) 2004-2005 (15) 2006-2008 (22) 2009-2011 (18) 2012-2019 (16) 2020-2024 (10)
Publication types (Num. hits)
article(32) incollection(1) inproceedings(82)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 125 occurrences of 99 keywords

Results
Found 115 publication records. Showing 115 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
152Elaine Cheong, Edward A. Lee, Yang Zhao Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. Search on Bibsonomy SenSys The full citation details ... 2005 DBLP  DOI  BibTeX  RDF TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II
105Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
97Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao Modeling of sensor nets in Ptolemy II. Search on Bibsonomy IPSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF VisualSense, simulation, modeling, wireless networks, discrete-event models, Ptolemy II
89José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck Software synthesis for DSP using ptolemy. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
81Antoon Goderis, Christopher X. Brooks, Ilkay Altintas, Edward A. Lee, Carole A. Goble Composing Different Models of Computation in Kepler and Ptolemy II. Search on Bibsonomy International Conference on Computational Science (3) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF scientific workflow, Model of computation, Kepler, Ptolemy II
73Alberto González Téllez, Miguel A. Mateo Pla Multithreaded Translation of Ptolemy II Designs on Multicore Platforms. Search on Bibsonomy CISIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Hridesh Rajan, Gary T. Leavens Ptolemy: A Language with Quantified, Typed Events. Search on Bibsonomy ECOOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao, Lizhi C. Zhong The design and application of structured types in Ptolemy II. Search on Bibsonomy GrC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Edward A. Lee, Yuhong Xiong A behavioral type system and its application in Ptolemy II. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping
57Xiaojun Liu 0001, Yuhong Xiong, Edward A. Lee The Ptolemy II Framework for Visual Languages. Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Bilung Lee, Edward A. Lee Hierarchical Concurrent Finite State Machines in Ptolemy. Search on Bibsonomy ACSD The full citation details ... 1998 DBLP  DOI  BibTeX  RDF concurrency, finite state machine, heterogeneity, hierarchy
48Leandro Soares Indrusiak, Romualdo Begale Prudencio, Manfred Glesner Modeling and Prototyping of Communication Systems Using Java: A Case Study. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
41Zude Zhou, Cheng Xu 0001, ChunQing Ling, Renfa Li An optimization design and simulation of Ptolemy-based motor speed control. Search on Bibsonomy ICARCV The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
41Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn AsmL Specification of a Ptolemy II Scheduler. Search on Bibsonomy Abstract State Machines The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Patrick Suppes Statistical concepts in philosophy of science. Search on Bibsonomy Synth. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Laplace, Gauss, Statistics, Psychology, Physics, Astronomy, Chi-square tests, Ptolemy, Hypotheses
40Ben Denckla Many cyclic block diagrams do not need parallel semantics. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF semantics, haskell, Haskell, esterel, block diagrams, ptolemy
40Koichi Sato, Brian L. Evans, J. K. Aggarwal Designing an Embedded Video Processing Camera Using a 16-bit Microprocessor for a Surveillance System. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF temporal spatio-velocity transform, embedded system, interaction, tracking, video, recognition, microprocessor, surveillance, DRAM, velocity, Ptolemy
40Jie Liu 0001, Edward A. Lee A component-based approach to modeling and simulating mixed-signal and hybrid systems. Search on Bibsonomy ACM Trans. Model. Comput. Simul. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF actors-oriented design, hierarchical heterogeneity, mixed-signal systems, simulation, hybrid systems, Component-based modeling, Ptolemy II
40T. Boggess, F. Shirley High-performance scalable computing for real-time applications. Search on Bibsonomy ICCCN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF high-performance scalable computing, interconnect technologies, high-performance computing technologies, embedded military applications, heterogeneous computer nodes, high-throughput system area network, standardized intelligent node-to-network interface, LANai, Sanders, Ptolemy environment, high density interconnect packaging, avionics applications, PacketWay, Internet Engineering Task Force proposed standard, high speed inter-SAN encryption, simulation, modeling, real-time systems, reconfigurable computing, real-time applications, RISC, switched network, digital signal processor, Myrinet
40Jürgen Teich, Lothar Thiele, Edward A. Lee Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Ptolemy design system, deterministic discrete event model, heterogeneous real-time systems, mixed asynchronous/synchronous systems, schedule constraints, synchronously clocked systems, timed marked graphs, simulation, modeling, real-time systems, discrete event simulation, timing analysis, finite buffering, self-timed systems
40Wen-Shyen E. Chen, Chun-Hong Lin Libra: an object-oriented ATM network simulato. Search on Bibsonomy ICCCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF object-oriented ATM network simulator, Libra, source traffic modeling, large-scale ATM network, switch architecture design, object-oriented platform, asynchronous transfer mode, network analysis, network performance, network control, Ptolemy
32Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis Actors without Directors: A Kahnian View of Heterogeneous Systems. Search on Bibsonomy HSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Man-Kit Leung, Thomas Mandl 0002, Edward A. Lee, Elizabeth Latronico, Charles P. Shelton, Stavros Tripakis, Ben Lickly Scalable Semantic Annotation Using Lattice-Based Ontologies. Search on Bibsonomy MoDELS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
32Eric K. Pauer, Paul D. Fiore, John M. Smith, Cory S. Myers Algorithm analysis and mapping environment for adaptive computing systems (poster abstract). Search on Bibsonomy FPGA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Mario Gómez, Facundo Mémoli The Four Point Condition: An Elementary Tropicalization of Ptolemy's Inequality. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
25Abraham A. Ungar Ptolemy's Theorem in the Relativistic Model of Analytic Hyperbolic Geometry. Search on Bibsonomy Symmetry The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Abraham A. Ungar The Hyperbolic Ptolemy's Theorem in the Poincaré Ball Model of Analytic Hyperbolic Geometry. Search on Bibsonomy Symmetry The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. Search on Bibsonomy APSEC The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. Search on Bibsonomy QRS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Paul T. Kim, Alex J. Noble, Anchi Cheng, Tristan Bepler Learning to automate cryo-electron microscopy data collection with Ptolemy. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
25David A. Manrique Negrin, Loek Cleophas, Mark van den Brand Using Ptolemy II as a Framework for Virtual Entity Integration and Orchestration in Digital Twins. Search on Bibsonomy MoDELS (Companion) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Vasilis Daoulas, Nikolaos Tampouratzis, Panagiotis Mousouliotis, Ioannis Papaefstathiou An Open-source Implementation of LSTM and GRU in the Ptolemy Simulation Framework. Search on Bibsonomy DS-RT The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Yiming Gan, Yuxian Qiu, Jingwen Leng, Minyi Guo, Yuhao Zhu 0001 Ptolemy: Architecture Support for Robust Deep Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
25Yiming Gan, Yuxian Qiu, Jingwen Leng, Minyi Guo, Yuhao Zhu 0001 Ptolemy: Architecture Support for Robust Deep Learning. Search on Bibsonomy MICRO The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Harald Bucher, Simon Kamm, Jürgen Becker 0001 Cross-Layer Behavioral Modeling and Simulation of E/E-Architectures using PREEvision and Ptolemy II. Search on Bibsonomy Simul. Notes Eur. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Harald Bucher, Jürgen Becker 0001, Simon Kamm Cross-layer behavioral modeling and simulation of E/E-Architectures using preevision and Ptolemy II. Search on Bibsonomy SummerSim The full citation details ... 2019 DBLP  BibTeX  RDF
25Janette Cardoso, Pierre Siron Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. Search on Bibsonomy Principles of Modeling The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
25Zhenbang Nie, Peng Wang 0090, Peng Zeng 0001, Haibin Yu Modeling industry 4.0 demonstration production line using Ptolemy II. Search on Bibsonomy IECON The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Lukas Bulwahn Ptolemy's Theorem. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2016 DBLP  BibTeX  RDF
25Christopher Brooks, Jay Jay Billings Introducing Triquetrum, A Possible Future for Kepler and Ptolemy II. Search on Bibsonomy ICCS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Cheng Pang, Wenbin William Dai, Valeriy Vyatkin Towards IEC 61499 models of computation in Ptolemy II. Search on Bibsonomy IECON The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Luís Feliphe Silva Costa, Alisson V. Brito, Tiago P. Nascimento, Thiago Henrique Menezes Bezerra Integration of Robot Operating System and Ptolemy for Design of Real-Time Multi-robots Environments. Search on Bibsonomy IESS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
25Shiwei Ran, Jinzhi Lin, Ying Wu 0006, Jianzhong Zhang 0003, Yuwei Xu Converting Ptolemy II Models to SpaceEx for Applied Verification. Search on Bibsonomy ICA3PP (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
25Stavros Tripakis, Christos Stergiou 0001, Chris Shaver, Edward A. Lee A modular formal semantics for Ptolemy. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Thorsten Holm, Peter Jørgensen, Martin Rubey Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D. Search on Bibsonomy Adv. Appl. Math. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Alisson Vasconcelos de Brito, Angelo V. Negreiros Allowing Large-Scale Systems Evaluation with Ptolemy through Distributed Simulation. Search on Bibsonomy SBESC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Alisson Vasconcelos de Brito, Angelo V. Negreiros, Christoph Roth, Oliver Sander, Jürgen Becker 0001 Development and Evaluation of Distributed Simulation of Embedded Systems Using Ptolemy and HLA. Search on Bibsonomy DS-RT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Patrick Einzinger An Actor-oriented Approach to ARGESIM Benchmark C05 'Two State Model' using Berkeley Ptolemy II. Search on Bibsonomy Simul. Notes Eur. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, Stavros Tripakis Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
25Leif Isaksen Ptolemy's Geography and the Birth of GIS. Search on Bibsonomy DH The full citation details ... 2012 DBLP  BibTeX  RDF
25Hridesh Rajan, Sean L. Mooney, Gary T. Leavens, Robert Dyer 0001, Rex D. Fernando, Mohammad Ali Darvish Darab, Bryan Welter Modularizing crosscutting concerns with ptolemy. Search on Bibsonomy OOPSLA Companion The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Ying Zhang, Jing Zhang Modeling and Simulation of Water Fountain Control Software in Ptolemy II. Search on Bibsonomy CSISE (2) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Hridesh Rajan, Gary T. Leavens, Robert Dyer 0001, Mehdi Bagherzadeh 0001 Modularizing crosscutting concerns with Ptolemy. Search on Bibsonomy AOSD (Companion) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Rishikesan Kamaleswaran, Mike Eklund A method for interactive hypothesis testing for clinical decision support systems using Ptolemy II. Search on Bibsonomy CCECE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Yang Zhao, Yuhong Xiong, Edward A. Lee, Xiaojun Liu 0001, Lizhi C. Zhong The design and application of structured types in Ptolemy II. Search on Bibsonomy Int. J. Intell. Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Kyungmin Bae, Peter Csaba Ölveczky Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models Search on Bibsonomy RTRTS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Edward A. Lee, Stavros Tripakis Modal Models in Ptolemy. Search on Bibsonomy EOOLT The full citation details ... 2010 DBLP  BibTeX  RDF
25Christopher X. Brooks, Edward A. Lee, Stavros Tripakis Exploring models of computation with ptolemy II. Search on Bibsonomy CODES+ISSS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Martin Schoeberl, Christopher X. Brooks, Edward A. Lee Code Generation for Embedded Java with Ptolemy. Search on Bibsonomy SEUS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Manfred Glesner, Fernando Gehm Moraes, Jari Nurmi A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II. Search on Bibsonomy SoC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Hojoo Lee Ptolemy Meets Erdős and Mordell Again. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2009 DBLP  BibTeX  RDF
25Rishvanth Prabakar, Shekhar Rai, Shreya Kumar, Sudheer Sreedhara Krishna, J. P. Raina Design and simulation of Optical Frequency Domain reflectometer for short distance fault detection in optical fibers and integrated optical devices using ptolemy-II. Search on Bibsonomy ICUMT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Marco Riccardi Heron's Formula and Ptolemy's Theorem. Search on Bibsonomy Formaliz. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Hassan Tahiri The Birth of Scientific Controversies The Dynamics of the Arabic Tradition and Its Impact on the Development of Science: Ibn al-Haytham's Challenge of Ptolemy's Almagest. Search on Bibsonomy The Unity of Science in the Arabic Tradition The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ Simulation of LET Models in Simulink and Ptolemy. Search on Bibsonomy Monterey Workshop The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Christopher Spies, Peter Zipf, Manfred Glesner, Harald Klingbeil Bandwidth Requirement Determination for a Digitally Controlled Cavity Synchronisation in a Heavy Ion Synchrotron Using Ptolemy II. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Edmund M. Clarke, Muralidhar Talupur, Helmut Veith Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch 0001 Automated distributed simulation in PTOLEMY II. Search on Bibsonomy Parallel and Distributed Computing and Networks The full citation details ... 2007 DBLP  BibTeX  RDF
25Edward A. Lee, Haiyang Zheng Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II. Search on Bibsonomy ADHS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Brian A. Jackson, James R. Armstrong Synthesis of SystemC models from SDF Ptolemy descriptions. Search on Bibsonomy SoCC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Johan Eker, Jörn W. Janneck, Edward A. Lee, Jie Liu 0001, Xiaojun Liu 0001, Jozsef Ludvig, Stephen Neuendorffer, Sonia R. Sachs, Yuhong Xiong Taming heterogeneity - the Ptolemy approach. Search on Bibsonomy Proc. IEEE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Shay Gueron Two Applications of the Generalized Ptolemy Theorem. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2002 DBLP  BibTeX  RDF
25Yehuda Pinchover, Simeon Reich, Itai Shafrir The Ptolemy Constant of a Normed Space: 10812. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2001 DBLP  BibTeX  RDF
25He Li 0001, Xiaojun Liu 0001, Edward A. Lee Modeling distributed hybrid systems in Ptolemy II. Search on Bibsonomy ACC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Theodore H. Kaskalis, Konstantinos G. Margaritis Systolic artificial neural network prototyping using ptolemy. Search on Bibsonomy Int. J. Comput. Math. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Eric K. Pauer, Jonathan B. Prime An architectural trade capability using the Ptolemy kernel. Search on Bibsonomy ICASSP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Theodore H. Kaskalis, Konstantinos G. Margaritis Systolic array prototyping using the Ptolemy environment. Search on Bibsonomy ICECS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. Search on Bibsonomy Int. J. Comput. Simul. The full citation details ... 1994 DBLP  BibTeX  RDF
25Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt Multirate signal processing in Ptolemy. Search on Bibsonomy ICASSP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
24Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch EWD: A metamodeling driven customizable multi-MoC system modeling framework. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II
24Sudhir G. Akojwar, Rajendra M. Patrikar Classification Techniques with Cooperative Routing for Industrial Wireless Sensor Networks. Search on Bibsonomy SCSS (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Visual sence, Clustering, WSN, Neural Network, Classification, DWT, Ptolemy-II
24Eric K. Pauer, Paul D. Fiore, John M. Smith Algorithm Analysis and Mapping Environment for Adaptive Computing Systems: Further Results. Search on Bibsonomy FCCM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF smart generators, FPGA, synthesis, VHDL, configurable computing, ACS, Ptolemy
16Tuan Minh Pham Similar triangles and orientation in plane elementary geometry for Coq-based proofs. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF similar triangles, orientation, formalization, Coq, geometric theorem proving
16Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF DEVS-suite, DEVSJAVA, simulation monitoring, experimental design, visual complexity
16Luciano Ost, Guilherme Montez Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp da Rosa, Fernando Moraes 0001 A high abstraction, high accuracy power estimation model for networks-on-chip. Search on Bibsonomy SBCCI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF high abstraction modeling, networks-on-chip, power modeling
16Sanna Määttä, Leandro Soares Indrusiak, Luciano Ost, Leandro Möller, Jari Nurmi, Manfred Glesner, Fernando Moraes 0001 Validation of executable application models mapped onto network-on-chip platforms. Search on Bibsonomy SIES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Leandro Soares Indrusiak, Andreas Thuy, Manfred Glesner Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Gang Zhou, Man-Kit Leung, Edward A. Lee A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Florence Maraninchi, Tayeb Bouhadiba 42: programmable models of computation for a component-based approach to heterogeneous embedded systems. Search on Bibsonomy GPCE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF semantics, models-of-computation, component-based design, heterogeneous embedded systems
16Edward A. Lee, Haiyang Zheng Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. Search on Bibsonomy EMSOFT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events
16Juan Jesús Sánchez Sánchez, David Morales-Jiménez, Gerardo Gómez, Eduardo Martos-Naya, Unai Fernández-Plazaola Wm-sim: a platform for design and simulation of wireless mobile systems. Search on Bibsonomy PM2HW2N The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulator, performance, framework, wireless, platform, LTE
16Sachoun Park, Gihwon Kwon Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. Search on Bibsonomy ICCSA (5) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Model checking, Dependency analysis, Model reduction, State explosion problem
16Zhigang Gao, Zhaohui Wu 0001, Ruizhi Ye, Long Yue A Model-Based Development Method for SmartOSEK OS. Search on Bibsonomy CIT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Sachoun Park, Gihwon Kwon, Soonhoi Ha Formalization of fFSM Model and Its Verification. Search on Bibsonomy ICESS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Step semantics, Model checking, Formal verification, Finite state machine
16Diego Fernando Jimenez Orostegui, Leandro Soares Indrusiak, Manfred Glesner Proxy-Based Integration of Reconfigurable Hardware Within Simulation Environments: Improving E-Learning Experience in Microelectronics. Search on Bibsonomy MSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Hyunok Oh, Soonhoi Ha Fractional Rate Dataflow Model for Efficient Code Synthesis. Search on Bibsonomy J. VLSI Signal Process. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF synchronous dataflow (SDF), multimedia, memory optimization, code synthesis
16Thomas Martin 0001, Mark T. Jones, Joshua Nathaniel Edmison, Tanwir Sheikh, Zahi Nakad Modeling and simulating electronic textile applications. Search on Bibsonomy LCTES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF smart fabrics, context awareness, wearable computing, electronic textiles
16Edward A. Lee, Stephen Neuendorffer Classes and subclasses in actor-oriented design. Search on Bibsonomy MEMOCODE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16André DeHon, Brad L. Hutchings, Daryl Rudusky, James Hwang, Nikhil, Salil Raje, Adrian Stoica What is the right model for programming and using modern FPGAs? Search on Bibsonomy FPGA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Barry Norton, Matt Fairtlough Reactive Types for Dataflow-Oriented Software Architectures. Search on Bibsonomy WICSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 115 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license