Embedded Software
暂无分享,去创建一个
[1] Christian Ferdinand,et al. Cache behavior prediction for real-time systems , 1997 .
[2] John Lygeros,et al. Hybrid Control Models of Next Generarion AIr Traffic Management , 1996, Hybrid Systems.
[3] Fred B. Schneider,et al. Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.
[4] Joseph Sifakis,et al. On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) , 1995, STACS.
[5] J. Robin B. Cockett,et al. Strong Categorical Datatypes II: A Term Logic for Categorical Programming , 1995, Theor. Comput. Sci..
[6] Tom Saulpaugh,et al. Inside the JavaOS operating system , 1999 .
[7] Don Kimber,et al. FlyCam: practical panoramic video and automatic camera control , 2000, 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532).
[8] Walid Taha,et al. Multi-Stage Programming: Its Theory and Applications , 1999 .
[9] EDDIE KOHLER,et al. The click modular router , 2000, TOCS.
[10] Vivek Sarkar,et al. Baring It All to Software: Raw Machines , 1997, Computer.
[11] Aloysius Ka-Lau Mok,et al. Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .
[12] Jean-Claude Raoult,et al. Operational and Semantic Equivalence Between Recursive Programs , 1980, JACM.
[13] Pravin Varaiya,et al. SmartAHS: A simulation framework for automated vehicles and highway systems , 1998 .
[14] Bertrand Meyer,et al. Component-Based Development: From Buzz to Spark - Guest Editors' Entroduction , 1999, Computer.
[15] Paul Hudak,et al. Functional reactive programming from first principles , 2000, PLDI '00.
[16] Karl Crary,et al. Resource bound certification , 2000, POPL '00.
[17] Nsf Ncr,et al. A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks: The Single Node Case* , 1991 .
[18] Philip M. Thambidurai,et al. Interactive consistency with multiple failure modes , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.
[19] D S Wills,et al. Focal-plane processing architectures for real-time hyperspectral image processing. , 2000, Applied optics.
[20] James F. Ready. VRTX: A Real-Time Operating System for Embedded Microprocessor Applications , 1986, IEEE Micro.
[21] George J. Pappas,et al. Discrete abstractions of hybrid systems , 2000, Proceedings of the IEEE.
[22] John C. Mitchell,et al. Foundations for programming languages , 1996, Foundation of computing series.
[23] W. Wolf,et al. VLSI architectures for distributed smart cameras , 2003, International Conference on Information Technology: Research and Education, 2003. Proceedings. ITRE2003..
[24] Ulrich Herzog,et al. Stochastic process algebras as a tool for performance and dependability modelling , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.
[25] Reinhard Wilhelm,et al. Cache Behavior Prediction by Abstract Interpretation , 1996, Sci. Comput. Program..
[26] D. H. Bartley,et al. Revised4 report on the algorithmic language scheme , 1991, LIPO.
[27] Rahul Razdan,et al. PRISC: programmable reduced instruction set computers , 1994 .
[28] Paul Hudak,et al. Functional reactive animation , 1997, ICFP '97.
[29] Thomas A. Henzinger,et al. A reusable and platform-independent framework for distributed control systems , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).
[30] Gordon D. Plotkin,et al. A Powerdomain Construction , 1976, SIAM J. Comput..
[31] Jay Lepreau,et al. The Flux OSKit: a substrate for kernel and language research , 1997, SOSP.
[32] Andrew Donald Gordon,et al. Functional programming and input/output , 1995 .
[33] Dale A. Mackall. Development and flight test experiences with a flight-crucial digital control system , 1988 .
[34] Andrew Pitts,et al. Semantics and Logics of Computation: Operationally-Based Theories of Program Equivalence , 1997 .
[35] Nancy G Leveson,et al. Software safety: why, what, and how , 1986, CSUR.
[36] Philip Wadler,et al. The marriage of effects and monads , 1998, ICFP '98.
[37] Edward A. Lee,et al. System-Level Types for Component-Based Design , 2001, EMSOFT.
[38] Scott Shenker,et al. General Characterization Parameters for Integrated Service Network Elements , 1997, RFC.
[39] Mark Shand,et al. Programmable active memories: reconfigurable systems come of age , 1996, IEEE Trans. Very Large Scale Integr. Syst..
[40] Marco Spuri,et al. Efficient aperiodic service under earliest deadline scheduling , 1994, 1994 Proceedings Real-Time Systems Symposium.
[41] J. Sethian,et al. Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .
[42] Vivek Sarkar,et al. Space-time scheduling of instruction-level parallelism on a raw machine , 1998, ASPLOS VIII.
[43] Douglas C. Schmidt,et al. An overview of the Real-Time CORBA specification , 2000, Computer.
[44] Amir Pnueli,et al. Symbolic Controller Synthesis for Discrete and Timed Systems , 1994, Hybrid Systems.
[45] Paul Hudak,et al. Real-time FRP , 2001, ICFP '01.
[46] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[47] Rowan Davies. A temporal-logic approach to binding-time analysis , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[48] Dawson R. Engler,et al. Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.
[49] Luca Cardelli,et al. Typeful Programming , 1989, Formal Description of Programming Concepts.
[50] Radu Negulescu,et al. Process spaces and formal verification of asynchronous circuits , 1998 .
[51] Jürgen Teich,et al. Evolutionary algorithms for the synthesis of embedded software , 2000, IEEE Trans. Very Large Scale Integr. Syst..
[52] George J. Pappas,et al. Reachability computation for linear hybrid systems , 1999 .
[53] Koen Claessen. Embedded Languages for Describing and Verifying Hardware , 2001 .
[54] Peter J Seiler,et al. Mesh stability of unmanned aerial vehicle clusters , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).
[55] Robert Glück,et al. Fast Binding-Time Analysis for Multi-Level Specialization , 1996, Ershov Memorial Conference.
[56] Richard Sharp,et al. A Statically Allocated Parallel Functional Language , 2000, ICALP.
[57] Gérard Berry,et al. Real Time Programming: Special Purpose or General Purpose Languages , 1989, IFIP Congress.
[58] W. Whitt. Weak convergence theorems for priority queues: preemptive-resume discipline , 1971, Journal of Applied Probability.
[59] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .
[60] Dan Hildebrand,et al. An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.
[61] Nicolas Halbwachs,et al. LUSTRE: A declarative language for programming synchronous systems* , 1987 .
[62] Gabor Karsai,et al. Towards Two-Level Formal Modeling of Computer-Based Systems , 2000, J. Univers. Comput. Sci..
[63] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .
[64] David Mosberger,et al. Bert: a scheduler for best-effort and realtime paths , 1998 .
[65] Florian Martin,et al. PAG – an efficient program analyzer generator , 1998, International Journal on Software Tools for Technology Transfer.
[66] Thomas A. Henzinger,et al. Automatic symbolic verification of embedded systems , 1993, 1993 Proceedings Real-Time Systems Symposium.
[67] Leslie Lamport,et al. Reaching Agreement in the Presence of Faults , 1980, JACM.
[68] Christoph Kreitz,et al. The Nuprl Open Logical Environment , 2000, CADE.
[69] Henrik Theiling,et al. Extracting safe and precise control flow from binaries , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.
[70] Kevin Jeffay,et al. A comparative study of the realization of rate-based computing services in general purpose operating systems , 2000, Proceedings Seventh International Conference on Real-Time Computing Systems and Applications.
[71] K. H. Kim,et al. Temporal uncertainties in interactions among real-time objects , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.
[72] Steve Vestal,et al. Fixed-Priority Sensitivity Analysis for Linear Compute Time Models , 1994, IEEE Trans. Software Eng..
[73] Leslie Lamport,et al. The Byzantine Generals Problem , 1982, TOPL.
[74] Alessandro Forin,et al. MMLite: a highly componentized system architecture , 1998, EW 8.
[75] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..
[76] Douglas C. Schmidt,et al. The design of the TAO real-time object request broker , 1998, Comput. Commun..
[77] Lothar Thiele,et al. Characterizing Variable Task Releases and Processor Capacities , 1999 .
[78] Pam Binns. Incremental rate monotonic scheduling for improved control system performance , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.
[79] Christoph Kreitz,et al. Building reliable, high-performance communication systems from components , 2000, OPSR.
[80] Christopher D. Gill,et al. Comparing and contrasting adaptive middleware support in wide-area and embedded distributed object applications , 2001, Proceedings 21st International Conference on Distributed Computing Systems.
[81] Joseph Sifakis,et al. Use of Petri nets for performance evaluation , 1977, Acta Cybern..
[82] Krishna M. Kavi,et al. Reliability analysis of CSP specifications - A new method using Petri nets , 1995 .
[83] Robert H. Thomas,et al. The Architecture of the Cronus Distributed Operating System , 1986, IEEE International Conference on Distributed Computing Systems.
[84] M. Hofmann. A Type System for Bounded Space and Functional In-Place Update , 2000, Nord. J. Comput..
[85] Gilles Kahn,et al. The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.
[86] Pierre Jouvelot,et al. The type and effect discipline , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[87] W. Wolf,et al. Co-design of interleaved memory systems , 2000, Proceedings of the Eighth International Workshop on Hardware/Software Codesign. CODES 2000 (IEEE Cat. No.00TH8518).
[88] Michael B. Jones,et al. CPU reservations and time constraints: efficient, predictable scheduling of independent activities , 1997, SOSP.
[89] Hermann Kopetz,et al. Elementary versus composite interfaces in distributed real-time systems , 1999, Proceedings. Fourth International Symposium on Autonomous Decentralized Systems. - Integration of Heterogeneous Systems -.
[90] Walid Taha,et al. Closed Types as a Simple Approach to Safe Imperative Multi-stage Programming , 2000, ICALP.
[91] Pravin Varaiya,et al. Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..
[92] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[93] P. Caines,et al. Hierarchical hybrid control systems: a lattice theoretic formulation , 1998, IEEE Trans. Autom. Control..
[94] Giovanni De Micheli,et al. Synthesis and Optimization of Digital Circuits , 1994 .
[95] Pravin Varaiya. A Question about Hierarchical Systems , 2000 .
[96] Michael D. Smith,et al. A high-performance microarchitecture with hardware-programmable functional units , 1994, Proceedings of MICRO-27. The 27th Annual IEEE/ACM International Symposium on Microarchitecture.
[97] J. V. Tucker,et al. Basic Simple Type Theory , 1997 .
[98] John Hughes,et al. Why Functional Programming Matters , 1989, Comput. J..
[99] Stephen A. Edwards,et al. Design of embedded systems: formal models, validation, and synthesis , 1997, Proc. IEEE.
[100] Frank Pfenning,et al. Eliminating array bound checking through dependent types , 1998, PLDI.
[101] Wayne H. Wolf,et al. Key frame selection by motion analysis , 1996, 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing Conference Proceedings.
[102] Claire J. Tomlin,et al. Nonlinear systems: analysis, stability, and control, Shankar Sastry, Springer‐Verlag, New York, NY, 1999, 667 pages. ISBN 0‐387‐98513‐1. , 2001 .
[103] Peter B. Henderson,et al. Functional programming, formal specification, and rapid prototyping , 1986, IEEE Transactions on Software Engineering.
[104] Lothar Thiele,et al. On the complexity of scheduling conditional real-time code , 2001 .
[105] Paul Hudak. The Haskell School of Expression: Learning Functional Programming through Multimedia , 1999 .
[106] Thomas A. Henzinger,et al. The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..
[107] Nancy A. Lynch,et al. A new fault-tolerant algorithm for clock synchronization , 1984, PODC '84.
[108] 정갑주. [서평]「The Essential Distributed Objects Survival Guide」 , 1998 .
[109] Paul Hudak,et al. A gentle introduction to Haskell , 1992, SIGP.
[110] A. Church. The calculi of lambda-conversion , 1941 .
[111] John A. Stankovic,et al. A survey of configurable, component-based operating systems for embedded applications , 2001 .
[112] J. Burch. Trace algebra for automatic verification of real-time concurrent systems , 1992 .
[113] J. Javier Gutiérrez,et al. Optimized priority assignment for tasks and messages in distributed hard real-time systems , 1995, Proceedings of Third Workshop on Parallel and Distributed Real-Time Systems.
[114] Joseph Y.-T. Leung,et al. On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.
[115] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[116] Jason E. Fritts,et al. Multi-level cache hierarchy evaluation for programmable media processors , 2000, 2000 IEEE Workshop on SiGNAL PROCESSING SYSTEMS. SiPS 2000. Design and Implementation (Cat. No.00TH8528).
[117] Matti A. Hiltunen,et al. Coyote: a system for constructing fine-grain configurable communication services , 1998, TOCS.
[118] Gul A. Agha,et al. Customizable middleware for modular distributed software , 2001, CACM.
[119] Cristiano Calcagno. Stratified operational semantics for safety and correctness of the region calculus , 2001, POPL '01.
[120] Wayne H. Wolf,et al. Co-synthesis of heterogeneous multiprocessor systems using arbitrated communication , 1999, 1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
[121] John Launchbury,et al. Microprocessor specification in Hawk , 1998, Proceedings of the 1998 International Conference on Computer Languages (Cat. No.98CB36225).
[122] Edward A. Lee,et al. What's Ahead for Embedded Software? , 2000, Computer.
[123] John C. Mitchell,et al. Coercion and type inference , 1984, POPL.
[124] Antony Courtney,et al. Genuinely Functional User Interfaces , 2001 .
[125] Jason Nieh,et al. Integrated Processors Scheduling for Multimedia , 1995, NOSSDAV.
[126] Philip Wadler,et al. Linear logic, monads and the lambda calculus , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[127] P. Binns. A robust high-performance time partitioning algorithm: the digital engine operating system (DEOS) approach , 2001, 20th DASC. 20th Digital Avionics Systems Conference (Cat. No.01CH37219).
[128] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.
[129] James Gosling,et al. The Real-Time Specification for Java , 2000, Computer.
[130] Martin Hofmann. Programming languages capturing complexity classes , 2000, SIGA.
[131] Ralf Hinze,et al. Haskell 98 — A Non−strict‚ Purely Functional Language , 1999 .
[132] Wilfrid Hodges,et al. A Shorter Model Theory , 1997 .
[133] Abraham Silberschatz,et al. The Pebble Component-Based Operating System , 1999, USENIX Annual Technical Conference, General Track.
[134] S. Vestal. MetaH support for real-time multi-processor avionics , 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.
[135] Gabor Karsai,et al. Metaprogrammable toolkit for model-integrated computing , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.
[136] V. Michael Bove,et al. A System for Parallel Media Processing , 1997, Parallel Comput..
[137] Henrik Theiling. Generating Decision Trees for Decoding Binaries , 2001 .
[138] Emin Gün Sirer,et al. SPIN—an extensible microkernel for application-specific operating system services , 1995, OPSR.
[139] Niklaus Wirth,et al. The programming language oberon , 1988, Softw. Pract. Exp..
[140] Krithi Ramamritham,et al. The Spring kernel: a new paradigm for real-time systems , 1991, IEEE Software.
[141] Gordon S. Blair,et al. The Design of a Resource-Aware Reflective Middleware Architecture , 1999, Reflection.
[142] Jörg Henkel,et al. A framework for estimating and minimizing energy dissipation of embedded HW/SW systems , 2001 .
[143] C. A. R. Hoare,et al. Communicating sequential processes , 2021, CACM.
[144] Neil D. Jones,et al. Computability and complexity - from a programming perspective , 1997, Foundations of computing series.
[145] David Turner,et al. Ensuring Streams Flow , 1997, AMAST.
[146] Sheng-Tzong Cheng,et al. Scheduling of periodic tasks with relative timing constraints , 1994 .
[147] Erich Gamma,et al. Design and Implementation of ET++, a Seamless Object-Oriented Application Framework , 1989, Struct. Program..
[148] Chris Okasaki,et al. Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function? , 1998, Journal of Functional Programming.
[149] M.A. Qureshi,et al. The UltraSAN Modeling Environment , 1995, Perform. Evaluation.
[150] Marc Pouzet,et al. Synchronous Kahn networks , 1996, ICFP '96.
[151] Roberto Di Cosmo. Review of Isomorphisms of Types:: from λ-calculus to information retrieval and language design , 1997 .
[152] Ali N. Akansu,et al. A Graph-Based Object Description for Information Retrieval in Digital Image and Video Libraries , 2002, J. Vis. Commun. Image Represent..
[153] Joseph Sifakis,et al. An Overview and Synthesis on Timed Process Algebras , 1991, REX Workshop.
[154] Edward A. Lee,et al. An Extensible Type System for Component-Based Design , 2000, TACAS.
[155] Mads Tofte,et al. Region-based Memory Management , 1997, Inf. Comput..
[156] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.
[157] Bernhard Plattner,et al. Router plugins: a software architecture for next-generation routers , 2000, TNET.
[158] J.P. Hespanha,et al. Multiple-agent probabilistic pursuit-evasion games , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[159] Aloysius K. Mok,et al. A Multiframe Model for Real-Time Tasks , 1997, IEEE Trans. Software Eng..
[160] Chris Okasaki,et al. Purely functional data structures , 1998 .
[161] C. Pinello,et al. Cut-off in engine control: a hybrid system approach , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[162] Klaus Aehlig,et al. A syntactical analysis of non-size-increasing polynomial time computation , 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).
[163] Pam Binns. Scheduling slack in metah , 1996 .
[164] Bengt Nordström. The alf proof editor , 1993 .
[165] T. D. Parsons,et al. Pursuit-evasion in a graph , 1978 .
[166] Flemming Nielson,et al. Semantics with applications - a formal introduction , 1992, Wiley professional computing.
[167] H. Wong-Toi,et al. The synthesis of controllers for linear hybrid automata , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[168] Thomas A. Henzinger,et al. Assume-Guarantee Reasoning for Hierarchical Hybrid Systems , 2001, HSCC.
[169] David A. Wheeler. Ada 95 , 1997, Springer New York.
[170] Gabor Karsai,et al. Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.
[171] Neil D. Jones,et al. A partial evaluator for the untyped lambda-calculus , 1991, Journal of Functional Programming.
[172] Alberto L. Sangiovanni-Vincentelli,et al. Overcoming heterophobia: modeling concurrency in heterogeneous systems , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.
[173] Sharad Malik,et al. Performance analysis of embedded software using implicit path enumeration , 1997, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[174] Thomas A. Henzinger. Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.
[175] Luca Benini,et al. Policy optimization for dynamic power management , 1999, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[176] Reinhard Wilhelm,et al. Pipeline behavior prediction for superscalar processors , 1999 .
[177] E.A. Lee,et al. Synchronous data flow , 1987, Proceedings of the IEEE.
[178] Richard B. Kieburtz. Taming effects with monadic typing , 1998, ICFP '98.
[179] Insup Lee,et al. Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.
[180] Arthur M. Geoffrion,et al. Elements of large-scale mathematical programming , 1969 .
[181] Walid Taha,et al. Semantics, Applications, and Implementation of Program Generation , 2001, Lecture Notes in Computer Science.
[182] R. Cockett,et al. Strong categorical datatypes I , 1991 .
[183] Eric Eide,et al. Knit: component composition for systems software , 2000, OSDI.
[184] Simon L. Peyton Jones,et al. Imperative functional programming , 1993, POPL '93.
[185] G. Norris. Boeing's seventh wonder , 1995 .
[186] Grady Booch,et al. Book Reviews , 1936, Computer.
[187] Abhay Parekh,et al. A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.
[188] Alan C. Shaw,et al. Experiments with a program timing tool based on source-level timing schema , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.
[189] Steve Goddard,et al. A theory of rate-based execution , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).
[190] Michael J. Wirthlin,et al. DISC: the dynamic instruction set computer , 1995, Optics East.
[191] P. Le Guernic,et al. Hybrid dynamical systems theory and the Signal language , 1990 .
[192] Hermann Kopetz,et al. The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
[193] Giorgio C. Buttazzo,et al. Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
[194] Danilo Beuche,et al. The PURE family of object-oriented operating systems for deeply embedded systems , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).
[195] Parameswaran Ramanathan,et al. A Dynamic Priority Assignement Technique for Streams with (m, k)-Firm Deadlines , 1995, IEEE Trans. Computers.
[196] Stavros Tripakis,et al. Timing Analysis and Code Generation of Vehicle Control Software using Taxys , 2001, RV@CAV.
[197] Ian M. Mitchell,et al. Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.
[198] Scott Hauck,et al. High-performance carry chains for FPGAs , 1998, FPGA '98.
[199] Wolfgang Pree,et al. AN OBJECT-ORIENTED COMPONENT-BASED FRAMEWORK FOR ON-BOARD SOFTWARE , 2001 .
[200] Robert D. Tennent,et al. Semantics of programming languages , 1991, Prentice Hall International Series in Computer Science.
[201] Hongwei Xi. Upper bounds for standardizations and an application , 1999 .
[202] Martin Odersky. Challenges in type systems research , 1996, CSUR.
[203] Larry L. Peterson,et al. Scheduling computations on a software-based router , 2001, SIGMETRICS '01.
[204] S. Shankar Sastry,et al. Mode Switching Synthesis for Reachability Specifications , 2001, HSCC.
[205] Bernhard Rumpe,et al. The UML profile for framework architectures , 2002, Addison Wesley object technology series.
[206] Richard B. Kieburtz. Implementing Closed Domain-Specific Languages , 2000, SAIG.
[207] Krithi Ramamritham,et al. Preemptive Scheduling Under Time and Resource Constraints , 1987, IEEE Transactions on Computers.
[208] Hermann Kopetz,et al. Temporal firewalls in large distributed real-time systems , 1997, Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems.
[209] John P. Lehoczky,et al. The rate monotonic scheduling algorithm: exact characterization and average case behavior , 1989, [1989] Proceedings. Real-Time Systems Symposium.
[210] James H. Anderson,et al. Proportional share scheduling of operating system services for real-time applications , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
[211] Gilles Kahn,et al. Coroutines and Networks of Parallel Processes , 1977, IFIP Congress.
[212] Douglas C. Schmidt,et al. Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .
[213] Luciano Lavagno,et al. Scheduling for Embedded Real-Time Systems , 1998, IEEE Des. Test Comput..
[214] Kevin Jeffay,et al. A Rate-Based Execution Abstraction for Multimedia Computing , 1995, NOSSDAV.
[215] Lothar Thiele,et al. Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).
[216] Satnam Singh,et al. Dynamic Specialisation of XC6200 FPGAs by Parial Evaluation , 1998, FPL.
[217] James W. Layland,et al. Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.
[218] John Rushby. A formally verified algorithm for clock synchronization under a hybrid fault model , 1994, PODC '94.
[219] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..
[220] Reinhard Wilhelm,et al. Analysis of Loops , 1998, CC.
[221] John Wawrzynek,et al. Garp: a MIPS processor with a reconfigurable coprocessor , 1997, Proceedings. The 5th Annual IEEE Symposium on Field-Programmable Custom Computing Machines Cat. No.97TB100186).
[222] Thomas A. Henzinger,et al. jMocha: a model checking tool that exploits design structure , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.
[223] Anders Bondorf,et al. A self-applicable partial evaluator for the lambda calculus , 1990, Proceedings. 1990 International Conference on Computer Languages.
[224] Philip Wadler,et al. The essence of functional programming , 1992, POPL '92.
[225] Edward A. Lee. Computing for embedded systems , 2001, IMTC 2001. Proceedings of the 18th IEEE Instrumentation and Measurement Technology Conference. Rediscovering Measurement in the Age of Informatics (Cat. No.01CH 37188).
[226] Wayne H. Wolf,et al. Human activity detection in MPEG sequences , 2000, Proceedings Workshop on Human Motion.
[227] Luca Cardelli,et al. On understanding types, data abstraction, and polymorphism , 1985, CSUR.
[228] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[229] Martín Abadi,et al. Types for Safe Locking , 1999, ESOP.
[230] John Lygeros,et al. Controllers for reachability specifications for hybrid systems , 1999, Autom..
[231] Feng Lin,et al. Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints , 1997, HART.
[232] Krishna V. Palem,et al. Adaptive explicitly parallel instruction computing , 2001 .
[233] Walid Taha,et al. Multi-stage programming with explicit annotations , 1997 .
[234] Edward A. Lee,et al. A hierarchical hybrid system model and its simulation , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).
[235] Krzysztof Czarnecki,et al. Generative programming - methods, tools and applications , 2000 .
[236] Edward A. Lee,et al. A framework for comparing models of computation , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[237] Flemming Nielson,et al. Two-Level Semantics and Code Generation , 1988, Theor. Comput. Sci..
[238] Krithi Ramamritham,et al. A real-time system description language , 1995, Proceedings Real-Time Technology and Applications Symposium.
[239] Kent M. Pitman. Exceptional Situations in Lisp , 1985 .
[240] Douglas C. Schmidt,et al. Middleware for Distributed Systems Evolving the Common Structure for Network-centric Applications , 2001 .
[241] Sergio Yovine,et al. KRONOS: a verification tool for real-time systems , 1997, International Journal on Software Tools for Technology Transfer.
[242] 차상균,et al. [서평]Succeeding with Objects - Decision Frameworks for Project Management - , 1996 .
[243] Abbas Edalat,et al. A new representation for exact real numbers , 1997, MFPS.
[244] Krithi Ramamritham,et al. A reflective architecture for real-time operating systems , 1995 .
[245] Douglas M. Hawkins,et al. Aperiodic response time distributions in queues with deadline guarantees for periodic tasks , 2000 .
[246] Marco Spuri,et al. Robust aperiodic scheduling under dynamic priority systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[247] Thomas A. Henzinger,et al. Embedded Control Systems Development with Giotto , 2001, OM '01.
[248] Vijay Kumar,et al. A Framework and Architecture for Multirobot Coordination , 2000, International Symposium on Experimental Robotics.
[249] D. C. Sharp,et al. Reducing avionics software cost through component based product line development , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).
[250] Andrew Moran,et al. Improvement in a lazy context: an operational theory for call-by-need , 1999, POPL '99.
[251] Gordon Plotkin,et al. An Operational Semantics for CSP. , 1982 .
[252] Günter Grünsteidl,et al. TTP - A Protocol for Fault-Tolerant Real-Time Systems , 1994, Computer.
[253] George J. Pappas,et al. Hierarchically consistent control systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).
[254] Manfred Broy,et al. A Fixed Point Approach to Applicative Multiprogramming , 1982 .
[255] Scott Shenker,et al. Analysis and simulation of a fair queueing algorithm , 1989, SIGCOMM '89.
[256] John Hughes,et al. Recursion and dynamic data-structures in bounded space: towards embedded ML programming , 1999, ICFP '99.
[257] Martin Hofmann,et al. Linear types and non-size-increasing polynomial time computation , 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
[258] Bengt Nordström,et al. Programming in Martin-Löf's Type Theory , 1990 .
[259] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.
[260] Giorgio C. Buttazzo,et al. Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks in Hard Real-Time Environments , 1999, IEEE Trans. Computers.
[261] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[262] Healfdene Goguen. A typed operational semantics for type theory , 1994 .
[263] Gérard G. Medioni,et al. Electronic pan-tilt-zoom: a solution for intelligent room systems , 2000, 2000 IEEE International Conference on Multimedia and Expo. ICME2000. Proceedings. Latest Advances in the Fast Changing World of Multimedia (Cat. No.00TH8532).
[264] Robert DeLine,et al. Resolving packaging mismatch , 1999 .
[265] Frank Pfenning,et al. System Description: Twelf - A Meta-Logical Framework for Deductive Systems , 1999, CADE.
[266] Holger Pfeifer. Formal Verification of the TTP Group Membership Algorithm , 2000, FORTE.
[267] Patrick Cousot,et al. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation , 2002, MFPS.
[268] Amr Sabry,et al. Proving the correctness of reactive systems using sized types , 1996, POPL '96.
[269] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[270] Hermann Kopetz,et al. Software engineering for real-time: a roadmap , 2000, ICSE '00.
[271] Richard B. Kieburtz,et al. Real-time Reactive Programming for Embedded Controllers , 2001, ICFP 2001.
[272] Roy H. Campbell,et al. Designing and implementing Choices: an object-oriented system in C++ , 1993, CACM.
[273] John Rushby,et al. A Comparison of Bus Architectures for Safety-Critical Embedded Systems , 2003 .
[274] Mario R. Schaffner. Processing by Data and Program Blocks , 1978, IEEE Transactions on Computers.
[275] Hermann Kopetz,et al. Real-time systems , 2018, CSC '73.
[276] Alice C. Parker,et al. Synthesis of application-specific multiprocessor systems including memory components , 1994, J. VLSI Signal Process..
[277] Harrick M. Vin,et al. A hierarchial CPU scheduler for multimedia operating systems , 1996, OSDI '96.
[278] David Sands. A Na Ve Time Analysis and Its Theory of Cost Equivalence {draft Submitted for Publication{ , 1995 .
[279] Edward A. Lee,et al. OVERVIEW OF THE PTOLEMY PROJECT JULY 6 , 1999 , 1999 .
[280] Jay K. Strosnider,et al. ENHANCED APERIODIC RESPONSIVENESS IN HARD REAL-TIME ENVIRONMENTS. , 1987, IEEE Real-Time Systems Symposium.
[281] Gabor Karsai. Design tool integration: an exercise in semantic interoperability , 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).
[282] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[283] Akash Deshpande,et al. The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata , 1997 .
[284] Fabio Kon,et al. 2K: A Reflective, Component-Based Operating System for Rapidly Changing Environments , 1998, ECOOP Workshops.
[285] George J. Pappas,et al. Feasible formations of multi-agent systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).
[286] Gabor Karsai,et al. Model-Integrated Computing , 1997, Computer.
[287] B. Ramakrishna Rau,et al. EPIC: An Architecture for Instruction-Level Parallel Processors , 2000 .
[288] Francesco Tisato,et al. ON THE DUALITY BETWEEN EVENT-DRIVEN AND TIME-DRIVEN MODELS , 1995 .
[289] David Turner. Functional programs as executable specifications , 1984, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
[290] Fred B. Schneider,et al. Understanding Protocols for Byzantine Clock Synchronization , 1987 .
[291] H. Pfeifer,et al. Formal verification for time-triggered clock synchronization , 1999, Dependable Computing for Critical Applications 7.
[292] Oscar Nierstrasz,et al. Component-oriented software development , 1992, CACM.
[293] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.
[294] Sérgio Vale Aguiar Campos,et al. Computing quantitative characteristics of finite-state real-time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.
[295] 하수철,et al. [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .