|
|
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 |
152 | Elaine Cheong, Edward A. Lee, Yang Zhao |
Viptos: a graphical development and simulation environment for tinyOS-based wireless sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, SenSys 2005, San Diego, California, USA, November 2-4, 2005, pp. 302, 2005, ACM, 1-59593-054-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
TOSSIM, visualsense, simulation, wireless sensor networks, modeling, tinyOS, nesC, ptolemy II |
105 | Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Stavros Tripakis |
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 717-736, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
97 | Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu 0001, Yang Zhao |
Modeling of sensor nets in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004, pp. 359-368, 2004, ACM, 1-58113-846-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VisualSense, simulation, modeling, wireless networks, discrete-event models, Ptolemy II |
89 | José Luis Pino, Soonhoi Ha, Edward A. Lee, Joseph T. Buck |
Software synthesis for DSP using ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 9(1-2), pp. 7-21, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
81 | Antoon 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](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 182-190, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scientific workflow, Model of computation, Kepler, Ptolemy II |
73 | Alberto González Téllez, Miguel A. Mateo Pla |
Multithreaded Translation of Ptolemy II Designs on Multicore Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISIS ![In: Second International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2008), March 4th-7th, 2008, Technical University of Catalonia, Barcelona, Spain, pp. 607-612, 2008, IEEE Computer Society, 978-0-7695-3109-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Hridesh Rajan, Gary T. Leavens |
Ptolemy: A Language with Quantified, Typed Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 155-179, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | Yuhong 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](Pics/bibsonomy.png) |
GrC ![In: 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25-27, 2005, pp. 683-688, 2005, IEEE, 0-7803-9017-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
57 | Edward A. Lee, Yuhong Xiong |
A behavioral type system and its application in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 210-237, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Behavioral types, Alternating simulation, Polymorphism, Component-based design, Interface automata, Behavioral subtyping |
57 | Xiaojun Liu 0001, Yuhong Xiong, Edward A. Lee |
The Ptolemy II Framework for Visual Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 50-, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Bilung Lee, Edward A. Lee |
Hierarchical Concurrent Finite State Machines in Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: 1st International Conference on Application of Concurrency to System Design (ACSD '98), 23-26 March 1998, Fukushima, Japan, pp. 34-40, 1998, IEEE Computer Society, 0-8186-8350-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
concurrency, finite state machine, heterogeneity, hierarchy |
48 | Leandro Soares Indrusiak, Romualdo Begale Prudencio, Manfred Glesner |
Modeling and Prototyping of Communication Systems Using Java: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 16th IEEE International Workshop on Rapid System Prototyping (RSP 2005), 8-10 June 2005, Montreal, Canada, pp. 225-231, 2005, IEEE Computer Society, 0-7695-2361-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Zude Zhou, Cheng Xu 0001, ChunQing Ling, Renfa Li |
An optimization design and simulation of Ptolemy-based motor speed control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 847-850, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn |
AsmL Specification of a Ptolemy II Scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Abstract State Machines ![In: Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings, pp. 417, 2003, Springer, 3-540-00624-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
40 | Patrick Suppes |
Statistical concepts in philosophy of science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 154(3), pp. 485-496, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Laplace, Gauss, Statistics, Psychology, Physics, Astronomy, Chi-square tests, Ptolemy, Hypotheses |
40 | Ben Denckla |
Many cyclic block diagrams do not need parallel semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(8), pp. 16-20, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semantics, haskell, Haskell, esterel, block diagrams, ptolemy |
40 | Koichi 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](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 42(1), pp. 57-68, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
temporal spatio-velocity transform, embedded system, interaction, tracking, video, recognition, microprocessor, surveillance, DRAM, velocity, Ptolemy |
40 | Jie Liu 0001, Edward A. Lee |
A component-based approach to modeling and simulating mixed-signal and hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 12(4), pp. 343-368, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
actors-oriented design, hierarchical heterogeneity, mixed-signal systems, simulation, hybrid systems, Component-based modeling, Ptolemy II |
40 | T. Boggess, F. Shirley |
High-performance scalable computing for real-time applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the International Conference On Computer Communications and Networks (ICCCN 1997), September 22-25, 1997 Las Vegas, NV, USA, pp. 332-335, 1997, IEEE Computer Society, 0-8186-8186-1. The full citation details ...](Pics/full.jpeg) |
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 |
40 | Jü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](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), September 13-15, 1995, Cannes, France, pp. 156-161, 1995, ACM, 0-89791-771-5. The full citation details ...](Pics/full.jpeg) |
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 |
40 | Wen-Shyen E. Chen, Chun-Hong Lin |
Libra: an object-oriented ATM network simulato. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), September 20-23, 1995, Las Vegas, Nevada, USA, pp. 667, 1995, IEEE Computer Society, 0-8186-7180-7. The full citation details ...](Pics/full.jpeg) |
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 |
32 | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis |
Actors without Directors: A Kahnian View of Heterogeneous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings, pp. 46-60, 2009, Springer, 978-3-642-00601-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Man-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](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, pp. 393-407, 2009, Springer, 978-3-642-04424-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Eric 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](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2000, Monterey, CA, USA, February 10-11, 2000, pp. 217, 2000, ACM, 1-58113-193-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Mario Gómez, Facundo Mémoli |
The Four Point Condition: An Elementary Tropicalization of Ptolemy's Inequality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 131(3), pp. 187-203, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Abraham A. Ungar |
Ptolemy's Theorem in the Relativistic Model of Analytic Hyperbolic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(3), pp. 649, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Abraham A. Ungar |
The Hyperbolic Ptolemy's Theorem in the Poincaré Ball Model of Analytic Hyperbolic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 15(8), pp. 1487, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong |
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022, pp. 407-416, 2022, IEEE, 978-1-6654-5537-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Xiaozhen Zhang, Zhaoming Yang, Hui Kong 0004, Weiqiang Kong |
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 22nd IEEE International Conference on Software Quality, Reliability and Security, QRS 2022, Guangzhou, China, December 5-9, 2022, pp. 410-421, 2022, IEEE, 978-1-6654-7704-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Paul T. Kim, Alex J. Noble, Anchi Cheng, Tristan Bepler |
Learning to automate cryo-electron microscopy data collection with Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.01534, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
25 | David 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](Pics/bibsonomy.png) |
MoDELS (Companion) ![In: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS 2021 Companion, Fukuoka, Japan, October 10-15, 2021, pp. 233-236, 2021, IEEE, 978-1-6654-2484-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Vasilis Daoulas, Nikolaos Tampouratzis, Panagiotis Mousouliotis, Ioannis Papaefstathiou |
An Open-source Implementation of LSTM and GRU in the Ptolemy Simulation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DS-RT ![In: 25th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2021, Valencia, Spain, September 27-29, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-3326-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
25 | Yiming Gan, Yuxian Qiu, Jingwen Leng, Minyi Guo, Yuhao Zhu 0001 |
Ptolemy: Architecture Support for Robust Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.09954, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
25 | Yiming Gan, Yuxian Qiu, Jingwen Leng, Minyi Guo, Yuhao Zhu 0001 |
Ptolemy: Architecture Support for Robust Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 53rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2020, Athens, Greece, October 17-21, 2020, pp. 241-255, 2020, IEEE, 978-1-7281-7383-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Harald 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](Pics/bibsonomy.png) |
Simul. Notes Eur. ![In: Simul. Notes Eur. 29(2), pp. 73-78, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Harald 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](Pics/bibsonomy.png) |
SummerSim ![In: Proceedings of the 2019 Summer Simulation Conference, SummerSim 2019, Berlin, Germany, July 22-24, 2019, pp. 18:1-18:12, 2019, ACM. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
25 | Janette Cardoso, Pierre Siron |
Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principles of Modeling ![In: Principles of Modeling - Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday, pp. 122-142, 2018, Springer, 978-3-319-95245-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Zhenbang Nie, Peng Wang 0090, Peng Zeng 0001, Haibin Yu |
Modeling industry 4.0 demonstration production line using Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29 - November 1, 2017, pp. 5471-5476, 2017, IEEE, 978-1-5386-1127-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Lukas Bulwahn |
Ptolemy's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2016, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
25 | Christopher Brooks, Jay Jay Billings |
Introducing Triquetrum, A Possible Future for Kepler and Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Graph-Based Representation and Reasoning - 22nd International Conference on Conceptual Structures, ICCS 2016, Annecy, France, July 5-7, 2016, Proceedings, pp. 2449-2454, 2016, Springer, 978-3-319-40984-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Cheng Pang, Wenbin William Dai, Valeriy Vyatkin |
Towards IEC 61499 models of computation in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IECON ![In: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015, pp. 1988-1993, 2015, IEEE, 978-1-4799-1762-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Luí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](Pics/bibsonomy.png) |
IESS ![In: System Level Design from HW/SW to Memory for Embedded Systems - 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings, pp. 38-47, 2015, Springer, 978-3-319-90022-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Shiwei Ran, Jinzhi Lin, Ying Wu 0006, Jianzhong Zhang 0003, Yuwei Xu |
Converting Ptolemy II Models to SpaceEx for Applied Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (1) ![In: Algorithms and Architectures for Parallel Processing - 14th International Conference, ICA3PP 2014, Dalian, China, August 24-27, 2014. Proceedings, Part I, pp. 669-683, 2014, Springer, 978-3-319-11196-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
25 | Stavros Tripakis, Christos Stergiou 0001, Chris Shaver, Edward A. Lee |
A modular formal semantics for Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 23(4), pp. 834-881, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Thorsten Holm, Peter Jørgensen, Martin Rubey |
Ptolemy diagrams and torsion pairs in the cluster categories of Dynkin type D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 51(5), pp. 583-605, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alisson Vasconcelos de Brito, Angelo V. Negreiros |
Allowing Large-Scale Systems Evaluation with Ptolemy through Distributed Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBESC ![In: III Brazilian Symposium on Computing Systems Engineering, SBESC 2013, Niteroi, Rio De Janeiro, Brazil, December 4-8, 2013, pp. 53-58, 2013, IEEE Computer Society, 978-1-4799-3890-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Alisson 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](Pics/bibsonomy.png) |
DS-RT ![In: 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2013, Delft, The Netherlands, October 30 - November 1, 2013, pp. 189-196, 2013, IEEE Computer Society, 978-0-7695-5138-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Einzinger |
An Actor-oriented Approach to ARGESIM Benchmark C05 'Two State Model' using Berkeley Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. Notes Eur. ![In: Simul. Notes Eur. 22(1), pp. 53-54, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Kyungmin 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](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 77(12), pp. 1235-1271, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Leif Isaksen |
Ptolemy's Geography and the Birth of GIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DH ![In: 7th Annual International Conference of the Alliance of Digital Humanities Organizations, DH 2012, Hamburg, Germany, July 16-22, 2012, Conference Abstracts, pp. 236-238, 2012, Hamburg University Press, 978-3-937816-99-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
25 | Hridesh 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](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011, pp. 31-32, 2011, ACM, 978-1-4503-0942-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Ying Zhang, Jing Zhang |
Modeling and Simulation of Water Fountain Control Software in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSISE (2) ![In: Advances in Computer Science, Intelligent System and Environment [Proceedings of CSISE 2011, Volume 2, September 24-25, 2011, Guangzhou, China], pp. 219-224, 2011, Springer, 978-3-642-23755-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Hridesh Rajan, Gary T. Leavens, Robert Dyer 0001, Mehdi Bagherzadeh 0001 |
Modularizing crosscutting concerns with Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD (Companion) ![In: Companion Volume of the 10th International Conference on Aspect-Oriented Software Development, AOSD 2011, Porto de Galinhas, Brazil, March 21-25, 2011, pp. 61-62, 2011, ACM, 978-1-4503-0606-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Rishikesan Kamaleswaran, Mike Eklund |
A method for interactive hypothesis testing for clinical decision support systems using Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, CCECE 2011, Niagara Falls, Ontario, Canada, 8-11 May, 2011, pp. 1278-1281, 2011, IEEE, 978-1-4244-9788-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Yang 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](Pics/bibsonomy.png) |
Int. J. Intell. Syst. ![In: Int. J. Intell. Syst. 25(2), pp. 118-136, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Kyungmin Bae, Peter Csaba Ölveczky |
Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTRTS ![In: Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010., pp. 46-66, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Edward A. Lee, Stavros Tripakis |
Modal Models in Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EOOLT ![In: Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010, pp. 11-21, 2010, Linköping University Electronic Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Christopher X. Brooks, Edward A. Lee, Stavros Tripakis |
Exploring models of computation with ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2010, part of ESWeek '10 Sixth Embedded Systems Week, Scottsdale, AZ, USA, October 24-28, 2010, pp. 331-332, 2010, ACM, 978-1-60558-905-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Martin Schoeberl, Christopher X. Brooks, Edward A. Lee |
Code Generation for Embedded Java with Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems - 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings, pp. 155-166, 2010, Springer, 978-3-642-16255-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Sanna 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](Pics/bibsonomy.png) |
SoC ![In: 2010 International Symposium on System on Chip, SoC 2010, Tampere, September 29-30, 2010, pp. 68-71, 2010, IEEE, 978-1-4244-8279-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Hojoo Lee |
Ptolemy Meets Erdős and Mordell Again. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 116(8), pp. 738-742, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
25 | Rishvanth 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](Pics/bibsonomy.png) |
ICUMT ![In: Proceedings of the International Conference on Ultra Modern Telecommunications, ICUMT 2009, 12-14 October 2009, St. Petersburg, Russia, pp. 1-3, 2009, IEEE, 978-1-4244-3942-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Marco Riccardi |
Heron's Formula and Ptolemy's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 16(1-4), pp. 97-101, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Hassan 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](Pics/bibsonomy.png) |
The Unity of Science in the Arabic Tradition ![In: The Unity of Science in the Arabic Tradition - Science, Logic, Epistemology and their Interactions, pp. 183-225, 2008, Springer, 978-1-4020-8404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Patricia Derler, Andreas Naderlinger, Wolfgang Pree, Stefan Resmerita, Josef Templ |
Simulation of LET Models in Simulink and Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers, pp. 83-92, 2008, Springer, 978-3-642-12565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Christopher 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](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: The 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, Shortening the Path from Specification to Prototype, 2-5 June 2008, Monterey, California, USA, pp. 196-202, 2008, IEEE Computer Society, 978-0-7695-3180-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 33-47, 2008, Springer, 978-3-540-78799-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Lázaro Cuadrado, Anders P. Ravn, Peter Koch 0001 |
Automated distributed simulation in PTOLEMY II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel and Distributed Computing and Networks ![In: Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Networks, as part of the 25th IASTED International Multi-Conference on Applied Informatics, February 13-15 2007, Innsbruck, Austria, pp. 138-143, 2007, IASTED/ACTA Press, 978-0-88986-639-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
25 | Edward A. Lee, Haiyang Zheng |
Hyvisual: a Hybrid System Modeling Framework based on Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADHS ![In: 2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006, pp. 270-271, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Brian A. Jackson, James R. Armstrong |
Synthesis of SystemC models from SDF Ptolemy descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: Proceedings 2004 IEEE International SOC Conference, September 12-15, 2004, Hilton Santa Clara, CA, USA, pp. 133-134, 2004, IEEE, 0-7803-8445-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Johan 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](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 91(1), pp. 127-144, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Shay Gueron |
Two Applications of the Generalized Ptolemy Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 109(4), pp. 362-370, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
25 | Yehuda Pinchover, Simeon Reich, Itai Shafrir |
The Ptolemy Constant of a Normed Space: 10812. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 108(5), pp. 475-476, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
25 | He Li 0001, Xiaojun Liu 0001, Edward A. Lee |
Modeling distributed hybrid systems in Ptolemy II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2001, Arlington, VA, USA, 25-27 June, 2001, pp. 4984-4985, 2001, IEEE, 0-7803-6495-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Theodore H. Kaskalis, Konstantinos G. Margaritis |
Systolic artificial neural network prototyping using ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 67(1-2), pp. 139-153, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Eric K. Pauer, Jonathan B. Prime |
An architectural trade capability using the Ptolemy kernel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing Conference Proceedings, ICASSP '96, Atlanta, Georgia, USA, May 7-10, 1996, pp. 1252-1255, 1996, IEEE Computer Society, 0-7803-3192-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Theodore H. Kaskalis, Konstantinos G. Margaritis |
Systolic array prototyping using the Ptolemy environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: Proceedings of Third International Conference on Electronics, Circuits, and Systems, ICECS 1996, Rodos, Greece, October 13-16, 1996, pp. 663-666, 1996, IEEE, 0-7803-3650-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt |
Ptolemy: A Framework for Simulating and Prototyping Heterogenous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Simul. ![In: Int. J. Comput. Simul. 4(2), 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
25 | Joseph T. Buck, Soonhoi Ha, Edward A. Lee, David G. Messerschmitt |
Multirate signal processing in Ptolemy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: 1991 International Conference on Acoustics, Speech, and Signal Processing, ICASSP '91, Toronto, Ontario, Canada, May 14-17, 1991, pp. 1245-1248, 1991, IEEE Computer Society, 0-7803-0003-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
EWD: A metamodeling driven customizable multi-MoC system modeling framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 33:1-33:43, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II |
24 | Sudhir G. Akojwar, Rajendra M. Patrikar |
Classification Techniques with Cooperative Routing for Industrial Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSS (1) ![In: Advances in Computer and Information Sciences and Engineering, Proceedings of the 2007 International Conference on Systems, Computing Sciences and Software Engineering (SCSS), part of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), Bridgeport, CT, USA, December 3-12, 2007, pp. 503-508, 2007, Springer, 978-1-4020-8740-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Visual sence, Clustering, WSN, Neural Network, Classification, DWT, Ptolemy-II |
24 | Eric K. Pauer, Paul D. Fiore, John M. Smith |
Algorithm Analysis and Mapping Environment for Adaptive Computing Systems: Further Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 7th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '99), 21-23 April 1999, Napa, CA, USA, pp. 264-265, 1999, IEEE Computer Society, 0-7695-0375-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
smart generators, FPGA, synthesis, VHDL, configurable computing, ACS, Ptolemy |
16 | Tuan Minh Pham |
Similar triangles and orientation in plane elementary geometry for Coq-based proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1268-1269, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
similar triangles, orientation, formalization, Coq, geometric theorem proving |
16 | Sungung Kim, Hessam S. Sarjoughian, Vignesh Elamvazhuthi |
DEVS-suite: a simulator supporting visual experimentation design and behavior monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
DEVS-suite, DEVSJAVA, simulation monitoring, experimental design, visual complexity |
16 | Luciano 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](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009, 2009, ACM, 978-1-60558-705-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
high abstraction modeling, networks-on-chip, power modeling |
16 | Sanna 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](Pics/bibsonomy.png) |
SIES ![In: IEEE Third International Symposium on Industrial Embedded Systems, SIES 2008, Montpellier / La Grande Motte, France, June 11-13, 2008, pp. 118-125, 2008, IEEE, 978-1-4244-1994-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Leandro Soares Indrusiak, Andreas Thuy, Manfred Glesner |
Interactive presentation: Executable system-level specification models containing UML-based behavioral patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 301-306, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Gang Zhou, Man-Kit Leung, Edward A. Lee |
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 193-206, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Florence Maraninchi, Tayeb Bouhadiba |
42: programmable models of computation for a component-based approach to heterogeneous embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 53-62, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semantics, models-of-computation, component-based design, heterogeneous embedded systems |
16 | Edward A. Lee, Haiyang Zheng |
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 114-123, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulation, composition, hybrid systems, operational semantics, model-based design, synchronous languages, discrete events |
16 | Juan 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](Pics/bibsonomy.png) |
PM2HW2N ![In: Proceedings of the 2nd ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, PM2HW2N 2007, Chania, Crete Island, Greece, October 22, 2007, pp. 124-127, 2007, ACM, 978-1-59593-805-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
simulator, performance, framework, wireless, platform, LTE |
16 | Sachoun Park, Gihwon Kwon |
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (5) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V, pp. 905-911, 2006, Springer, 3-540-34079-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Dependency analysis, Model reduction, State explosion problem |
16 | Zhigang Gao, Zhaohui Wu 0001, Ruizhi Ye, Long Yue |
A Model-Based Development Method for SmartOSEK OS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Fifth International Conference on Computer and Information Technology (CIT 2005), 21-23 September 2005, Shanghai, China, pp. 781-787, 2005, IEEE Computer Society, 0-7695-2432-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Sachoun Park, Gihwon Kwon, Soonhoi Ha |
Formalization of fFSM Model and Its Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICESS ![In: Embedded Software and Systems, Second International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings, pp. 361-372, 2005, Springer, 3-540-30881-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Step semantics, Model checking, Formal verification, Finite state machine |
16 | Diego 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](Pics/bibsonomy.png) |
MSE ![In: 2005 International Conference on Microelectronics Systems Education, MSE 2005, Anaheim, CA, USA, June 12-13, 2005, pp. 59-60, 2005, IEEE Computer Society, 0-7695-2374-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Hyunok Oh, Soonhoi Ha |
Fractional Rate Dataflow Model for Efficient Code Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. VLSI Signal Process. ![In: J. VLSI Signal Process. 37(1), pp. 41-51, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
synchronous dataflow (SDF), multimedia, memory optimization, code synthesis |
16 | Thomas Martin 0001, Mark T. Jones, Joshua Nathaniel Edmison, Tanwir Sheikh, Zahi Nakad |
Modeling and simulating electronic textile applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 10-19, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
smart fabrics, context awareness, wearable computing, electronic textiles |
16 | Edward A. Lee, Stephen Neuendorffer |
Classes and subclasses in actor-oriented design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings, pp. 161-168, 2004, IEEE Computer Society, 0-7803-8509-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | André 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](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the ACM/SIGDA 12th International Symposium on Field Programmable Gate Arrays, FPGA 2004, Monterey, California, USA, February 22-24, 2004, pp. 119, 2004, ACM, 1-58113-829-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Barry Norton, Matt Fairtlough |
Reactive Types for Dataflow-Oriented Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 211-220, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 115 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|