Programming atomic actions in Ada
ACM SIGAda Ada Letters
Real-time Ada: outstanding problem areas
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
Usability of the Ada tasking-model
IRTAW '89 Proceedings of the third international workshop on Real-time Ada issues
An overview of real-time issues and Ada
ACM SIGAda Ada Letters
In support of the Ada 9X real-time facilities
ACM SIGAda Ada Letters
Ada communication components for distributed and real time applications
TRI-Ada '92 Proceedings of the conference on TRI-Ada '92
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Providing fault-tolerant services to distributed Ada 95 applications
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Strategic directions in real-time and embedded systems
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
ACM SIGOPS Operating Systems Review
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Components for the implementation of fixed priority real-time systems in ADA
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Real-Time Schedulability Tests for Preemptive Multitasking
WPDRTS Selected papers from the 4th workshop on Parallel and distributed real-time systems
TAP-D: A model for developing specialization tracks in a graduate software engineering curriculum
Annals of Software Engineering - Special issue on software engineering education
Building Tcl-Tk GUIs for HRT-HOOD systems
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Experiences using Ada in a real-time and distributed laboratory
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
The Spring System: Integrated Support for Complex Real-TimeSystems
Real-Time Systems
DIPC: The Linux Way of Distributed Programming
Linux Journal
Techniques for reducing read latency of core bus wrappers
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Voltage scheduling in the IpARM microprocessor system
ISLPED '00 Proceedings of the 2000 international symposium on Low power electronics and design
An exception-handling architecture for open electronic marketplaces of contract net software agents
Proceedings of the 2nd ACM conference on Electronic commerce
Object-oriented real-time concurrency
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A CS/SE approach to a real-time embedded systems software development course
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
Safety critical systems based on formal models
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
IEEE Transactions on Computers
Enhancing O-O Middleware to Become Time-Aware
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
The first embedded distributed Ada95 application
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Implementing recovery blocks in GNAT: a powerful fault tolerance mechanism and a transaction support
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Hardware compilation of sequential ada
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
Prefetching for improved bus wrapper performance in cores
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Solving inheritance anomaly with OMNets
Journal of Computer Science and Technology
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems
Wrapping Real-Time Systems from Temporal Logic Specifications
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Compiling process algebraic specifications into timed automata
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Implementing a New Low-Level Tasking Support for the GNAT Runtime System
Ada-Europe '99 Proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change
Statecharts Supervision Models for Soft Real-Time Systems
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
Induction in the timed interval calculus
Theoretical Computer Science
An algorithm with constant execution time for dynamic storage allocation
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
Timed-event abstraction and timing constraints in distributed real-time programming
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Real-Time Behaviour in a Heterogeneous Environment?
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A pattern language for porting micro-kernels
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Over-Approximate Model of Multitasking Application Based on Timed Automata Using Only One Clock
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
Encyclopedia of Computer Science
NT'97 Proceedings of the USENIX Windows NT Workshop on The USENIX Windows NT Workshop 1997
Asynchronous event handling in the real-time specification for Java
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Case study on distributed and fault tolerant system modeling based on timed automata
Journal of Systems and Software
Energy-aware wireless systems with adaptive power-fidelity tradeoffs
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Hi-index | 0.00 |