新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

fthomas library [117 articles]

最近 fthomas さんのライブラリ .
  • A formal approach to model refactoring and model refinement
    Software and Systems Modeling
    by Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens
    posted to no-tag by fthomas on 2008-02-04 13:40:47 as ** along with 2 people and 1 group leonardo francoisl modeling
  • Generative Programming: Methods, Tools, and Applications
    (06 June 2000)
    by Krzysztof Czarnecki, Ulrich Eisenecker, Krzysztof Czarnecki
    posted to code generation generative programming by fthomas on 2007-04-12 09:19:47 as read along with 7 people lange sixtus bkohler cwende thiagobart mldechert tvolland
  • Matching Metamodels with Semantic Systems - An Experience Report.
    Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings, 5.-6. März 2007, Aachen, Germany (2007), pp. 38-52.
    by Gerti Kappel, Horst Kargl, Gerhard Kramler, Andrea Schauerhuber, Martina Seidl, Michael Strommer, Manuel Wimmer
    posted to no-tag by fthomas on 2007-04-10 16:54:47 as ** along with 1 person and 1 group francoisl modeling
  • Transformational Stereotypes: A Support for Transforming UML models
    (2006)
    by Miroslaw Staron, Ludwik Kuzniarz
    edited by Andreas Prinz
    posted to mstaron by fthomas on 2007-04-10 16:27:30 as *** along with 1 person and 1 group francoisl modeling
  • Increasing Energy Efficiency of Embedded Systems by Application-Specific Memory Hierarchy Generation
    IEEE Des. Test, Vol. 17, No. 2. (April 2000), pp. 74-85.
    by Luca Benini, Alberto Macii, Enrico Macii, Massimo Poncino
    posted to memory by fthomas on 2007-04-08 16:07:44 as ** along with 1 person chandrashekar
  • Automatic Generation and Targeting of Application Specific Operating Systems and Embedded Systems Software
    (2001)
    by L Gauthier, S Yoo, A Jerraya
    posted to code generation plate-forme by fthomas on 2007-04-08 14:14:54 as ****
  • Platform independent model transformation based on triple
    (2004), pp. 493-511.
    by Andreas Billig, Susanne Busse, Andreas Leicher, J&\#246;rn G S&\#252;&\#223;
    posted to mda platforme by fthomas on 2007-04-08 14:00:56 as **** along with 2 people kistijantoro weerasak
  • Mapping Concurrent Real-Time Software Languages to FPGA
    (November 2003)
    by Neil C Audsley, Iain J Bate, Michael Ward
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Object-Oriented Legacy System Trace-based Logic Testing
    (2006), pp. 35-44.
    by Stéphane Ducasse, Tudor Gîrba, Roel Wuyts
    posted to girba jb06 recast06 scg-pub snf06 stefpub bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • An Architectural-Based Approach for Synthesizing and Integrating Adapters for Legacy Software
    (2000)
    by Gerald C Gannod, Sudhakiran V Mudiam, Timothy E Lindquist
    posted to design pattern wrapping bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Aspect-Oriented Evolution of Legacy Information Systems
    (2004)
    by Yasemin Satiroglu
    posted to aspect-oriented development heuristic information legacy modelling rule software systems bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Porting legacy systems from Windriver's VxWorks to the QNX Neutrino RTOS
    (April 2005)
    by Shiv Nagarajan, Robert Craig
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Porting applications to an ARINC 653 compliant IMA platform using Vxworks as an example
    Vol. n°2, No. ISBN: 0-7803-8539-X. (October 2004)
    by Larry Kinnan, Joseph Wlad, Patrick Rogers
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Quality Attribute Support in a Component Technology for Vehicular Software
    (October 2004)
    by Mikael Akerholm, Johan Fredriksson, Kristian Sandstrom, Ivica Crnkovic
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Transformation of component models to real-time models
    (April 2005)
    by Johan Fredriksson
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Systèmes d'exploitation temps réel
    (Mars 1999)
    by Yvon Trinquet, Jean P Elloy
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • ADA 95 pour le temps réel et les systèmes distribués
    by JP Rosen
    posted to ada real rendez-vous task time bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • THINK : vers une architecture de systèmes flexibles
    (December 2001)
    by Jean P Fassino
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • http://www.sdl-rt.org/
    (September 2006)
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • THINK: A Software Framework for Component-based Operating System Kernels
    (June 2002)
    by Jean P Fassino, Jean B Stefani, Julia Lawall, Gilles Muller
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Formalisation et structuration des architectures opérationnelles pour les systèmes embarqués temps réel
    (December 2005)
    by Jean P Babau
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Power-Aware Operating Systems for Interactive Systems
    Vol. 10, No. 2. (April 2002)
    by Yung H Lu, Luca Benini, Giovanni De Michelli
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • https://www.rtai.org/
    (October 2006)
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • http://www.windriver.com/
    (October 2006)
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • MaRTE OS: Overview and Linux Version
    (November 2004)
    by Mario A Rivas, Michael G Harbour
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Lacatre : LAngage d'aide à la Conception d'Application multitâche Temps REel
    Vol. 26, No. 5-6. (1992), pp. 355-385.
    by JJ Schwarz
    posted to bibtex-import by fthomas on 2007-04-08 12:12:14 as read
  • Description et construction d'architectures opérationnelles validées temporellement.
    (2002.)
    by Sébastien
    posted to architecture clara osek bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Automatic synthesis of multi-tasking implementations from real-time objectoriented models
    (2000)
    by M Saksena, P Karvelas, Y Wang
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Optimizing Resource Usage in Component-Based Real-Time Systems.
    (2005), pp. 49-65.
    by Johan Fredriksson, Kristian Sandstrom, Mikael Akerholm
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • From Functional Blocks to the Synthesis of the Architectural Model in Embedded Real-time Applications
    (2005), pp. 458-467.
    by Cesare Bartolini, Giuseppe Lipari, Marco Di Natale
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Scenario-Based Multitasking for Real-Time Object-Oriented Models
    Journal of Information & Software Technology (JIST), Vol. 48, No. 9. (September 2006), pp. 820-835.
    by Saehwa Kim, Jiyong Park, Seongsoo Hong
    posted to automated code design development embedded language methodology modeling multitasking object-oriented real-time sisaobject-oriented software synthesis system tools uml unified bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Modeling Bus Scheduling Policies for Real-Time Systems
    (1995), pp. 242-255.
    by Kevin A Kettler, Jay K Strosnider
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • A Tool for Analyzing and Fine Tuning the Real-Time Properties of an Embedded System
    IEEE Trans. Softw. Eng., Vol. 29, No. 4. (2003), pp. 311-326.
    by David B Stewart, Gaurav Arora
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Untitled
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • The OASIS Based Qualified Display System
    (September 2004)
    by V David, C Aussaguès, S Louise, Ph, B Ortolo, C Hessler
    posted to oasis bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Etude, conception et mise en oeuvre d'un protocole de communication synchrone tolérant aux fautes et prédictible sur des composants réseaux standards
    (Juin 2006)
    by Damien Chabrol
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Développement formel de systèmes temps réel à l'aide de SDL et IF
    (sep 2004)
    by A Alkhodre
    posted to code conception correction de dveloppement gnration raffinement rel rma spcification systme temps transformation validation bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Java dans les systèmes embarqués et temps réel
    No. S 8 068. (Juin 2004)
    by Xavier Cornu
    posted to java limites rel temps bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Systèmes temps réel 1 : techniques de description et de vérification
    Vol. 1, No. ISBN 2-7462-1303-6. (2006), pp. 217-260.
    by Paul Caspi, Grégoire Hamon, Marc Pouzet
    edited by Nicolas Navet
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • The Problem with Threads
    No. UCB/EECS-2006-1. (January October 2006)
    by Edward A Lee
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Understanding the linux kernel
    No. ISBN : 0-596-00213-0. (décembre 2003)
    by Daniel P Bovet, Marco Cesati
    posted to howto linux operating os system bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Cours de conception de systemes et d'utilisation d'UNIX
    (Fevrier 2005)
    by D Revuz
    posted to cours pedagogique posix primitives unix bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Techniques and Tools for Model-Based Design and Analysis of Embedded Real-Time Software
    (2004)
    by Zonghua Gu
    posted to analysis rt synthesis uml bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Predictability in Real-Time Software Design
    (septembre 2005)
    by J Huang
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models.
    (2005), pp. 235-250.
    by Zonghua Gu, Zhimin He
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Scheduling Algorithms for Real-Time Systems
    No. No. 2005-499. (2005)
    by Arezou Mohammadi, Selim G Akl
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Driver Synthesis : Automating the creation of BSPs
    Real-Time Magazine (1999), pp. 33-37.
    by Shaul G Oz
    posted to bsp driver rtos bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • An efficient time representation for real-time embedded systems
    SAC '03: Proceedings of the 2003 ACM symposium on Applied computing, No. isbn = 1-58113-624-2,. (2003), pp. 705-712.
    by Alessio Carlini, Giorgio C Buttazzo
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Real Time Scheduling Theory: A Historical Perspective
    Real-Time Systems Journal, Vol. 28, No. 2/3. (2004), pp. 101-155.
    by Lui Sha, Tarek Abdelzaher, Karl E Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, Aloysious K Mok
    posted to bibtex-import by fthomas on 2007-04-08 12:12:13 as read
  • Operating System Sensitive Device Driver Synthesis from Implementation Independent Protocol Specification
    Design, Automation and Test in Europe (DATE '99), No. ISBN: 0-7695-0078-1. (Decembre 1999), pp. 562-567.
    by Royal, Axel Jantsch
    posted to driver operating system bibtex-import by fthomas on 2007-04-08 12:12:13 as read
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/fthomas

    Result page: 1 2 3 Next RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.