|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1608 occurrences of 892 keywords
|
|
|
|
|
Results
Found 998 publication records. Showing 998 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Saul Stimler |
A methodology for calculating and optimizing real-time system performance.  |
Commun. ACM  |
1968 |
DBLP DOI BibTeX RDF |
real-time performance criteria, real-time system analysis, real-time system cost performance ratio, real-time system design |
| 3 | Jean-Marc Desharnais, Alain Abran, Pinar Efe Dikici, Mert Can Ilis, Irfan Nuri Karaca |
Functional Size of a Real-Time System.  |
IWSM/Mensura  |
2009 |
DBLP DOI BibTeX RDF |
FPA, functional measure, real time system, function point, COSMIC |
| 3 | Víctor A. Braberman, Fabio Pieniazek |
Duration Properties over Real Time System Designs.  |
IWSSD  |
2000 |
DBLP BibTeX RDF |
Duration Properties, Model-Checking, Timed Automata, Real-Time System Designs |
| 3 | Namyun Kim, Minsoo Ryu, Seongsoo Hong, Manas Saksena, Chong-Ho Choi, Heonshik Shin |
Visual assessment of a real-time system design: a case study on a CNC controller. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1996 |
DBLP DOI BibTeX RDF |
visual assessment, sensor-to-output latency, intertask communication schemes, period calibration method, computerized numerical control, plant simulator, control quality, loop processing periods, scheduling, performance, real-time systems, case study, jitter, CNC, system utilization, real-time system design |
| 3 | Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham |
A robotic assembly application on the Spring real-time system. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1996 |
DBLP DOI BibTeX RDF |
printed circuit manufacture, printed circuit layout, robotic assembly application, Spring real-time system, run-time system support, predictability demands, robotic work-cell, circuit board assembly, user understanding, target hardware properties, process layout, resource layout, shared resource usage, process suspension, efficient run-time representation, real-time systems, robots, timing, completeness, flexibility, reengineering, timing analysis, circuit layout CAD, assembling, systems re-engineering, interprocess communication, program representation, porting, ease of use, industrial robots, software development tools |
| 3 | John P. Lehoczky |
Real-Time Queueing Theory. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1996 |
DBLP DOI BibTeX RDF |
real time queueing theory, real time system scheduling, customer timing requirements, customer lead time profile process, infinite dimensionality, heavy traffic case, lead time profile process, real time system predictability, stochastic behavior, queueing theory, multimedia systems, ATM networks, queueing models, dynamic behavior |
| 2 | Mehdi Kargahi, Ali Movaghar |
Performance Optimization Based on Analytical Modeling in a Real-Time System with Constrained Time/Utility Functions.  |
IEEE Trans. Computers  |
2011 |
DBLP DOI BibTeX RDF |
firm real-time system, optimization, performance modeling, Analytical modeling, time/utility function |
| 2 | Guoyin Zhang, Guodong Zhao, Aihong Yao, Ruhua Liu |
Research of Mechanism to System Scheduling Flexibility Based on Embedded Real-Time System.  |
MVHI  |
2010 |
DBLP DOI BibTeX RDF |
Flexibility response, system dispatch, real-time system, embedded operating system |
| 2 | Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama |
Modeling of Real-Time System Designs for Parametric Analysis.  |
RTCSA  |
2010 |
DBLP DOI BibTeX RDF |
time parameter, parameter synthesis, schedulability, modeling, model checking, model composition, parametric analysis, real-time system design |
| 2 | Yoshimasa Ohmoto, Kazuhiro Ueda, Takehiko Ohno |
Real-time system for measuring gaze direction and facial features: towards automatic discrimination of lies using diverse nonverbal information.  |
AI Soc.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Comments on temporal logics for real-time system specification.  |
ACM Comput. Surv.  |
2009 |
DBLP DOI BibTeX RDF |
Temporal logic |
| 2 | Xin Huang, KenLi Li, RenFa Li |
A Energy Efficient Scheduling Base on Dynamic Voltage and Frequency Scaling for Multi-core Embedded Real-Time System.  |
ICA3PP  |
2009 |
DBLP DOI BibTeX RDF |
real-time, energy-efficiency, embedded, DVS, multi-core, leakage power, EDF |
| 2 | Shinya Umeno |
Event order abstraction for parametric real-time system verification.  |
EMSOFT  |
2008 |
DBLP DOI BibTeX RDF |
automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification |
| 2 | Chong-Jing Chen, Pai H. Chou |
EcoDAQ: A Case Study of a Densely Distributed Real-Time System for High Data Rate Wireless Data Acquisition.  |
RTCSA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg |
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code.  |
ECRTS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Scott A. Hissam, Gabriel A. Moreno, Daniel Plakosh, Isak Savo, Marcin Stelmarczyk |
Predicting the Behavior of a Highly Configurable Component Based Real-Time System.  |
ECRTS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Junmin Ye, Wei Dong, Zhichang Qi |
A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications.  |
ICYCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Athanasios P. Kalogeras, Konstantinos J. Charatsis, Ioannis Mourtos, Fotios Liotopoulos, George Asimakopoulos, Panagiotis Konstantinopoulos |
Integrated real-time system for perishable freight transport management.  |
ETFA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ce Zhan, Wanqing Li, Farzad Safaei, Philip Ogunbona |
Face to Face Communications in Multiplayer Online Games: A Real-Time System.  |
HCI  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas W. Otani, Mikhail Auguston, Thomas S. Cook, Doron Drusinsky, James Bret Michael, Man-tak Shing |
A design pattern for using non-developmental items in real-time Java.  |
JTRES  |
2007 |
DBLP DOI BibTeX RDF |
non-developmental items, real-time system, design pattern, garbage collection, Java programming language |
| 2 | Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi |
Comments on "An Interval Logic for Real-Time System Specification'.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, Formal methods, temporal logic |
| 2 | Pierfrancesco Bellini, Paolo Nesi, Davide Rogai |
Reply to Comments on "An Interval Logic for Real-Time System Specification'.  |
IEEE Trans. Software Eng.  |
2006 |
DBLP DOI BibTeX RDF |
TILCO, conciseness, temporal logic, Formal language, interval temporal logic |
| 2 | Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, Qiang Ling |
Firm Real-Time System Scheduling Based on a Novel QoS Constraint.  |
IEEE Trans. Computers  |
2006 |
DBLP DOI BibTeX RDF |
Firm real-time system, scheduling, quality of service, networked control system |
| 2 | Ruey-Maw Chen, Shih-Tang Lo, Yueh-Min Huang |
Solving Multiprocessor Real-Time System Scheduling with Enhanced Competitive Scheme.  |
ICONIP  |
2006 |
DBLP DOI BibTeX RDF |
Slack neuron, Scheduling, Hopfield neural network, Competitive learning |
| 2 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu |
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.  |
IEEE Trans. Computers  |
2006 |
DBLP DOI BibTeX RDF |
system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation |
| 2 | Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang |
Modelling and Analysis of Power Consumption for Component-Based Embedded Software.  |
EUC Workshops  |
2006 |
DBLP DOI BibTeX RDF |
embedded software design, real-time system, model checking, power-aware computing, component-based design, interface automata |
| 2 | Aleksandar M. Bakic, Matt W. Mutka |
Integrating On-Line Performance Visualization and Real-Time System Design.  |
Real-Time Systems  |
2005 |
DBLP DOI BibTeX RDF |
extension and glue language, real-time design, real-time linux, constraint logic programming, real-time visualization |
| 2 | Charles Cavanaugh, Radhika Ari |
Dynamic Resource Management Algorithm for a Distributed Real-time System.  |
IPDPS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Lichen Zhang, Ruicheng Liu |
Aspect-Oriented Real-Time System Modeling Method Based on UML.  |
RTCSA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaoyi Feng, Matti Pietikäinen, Abdenour Hadid, Hongmei Xie |
A Novel Real Time System for Facial Expression Recognition.  |
ACII  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Kongwah Wan, Xin Yan 0001, Changsheng Xu |
Automatic mobile sports highlights.  |
ICME  |
2005 |
DBLP DOI BibTeX RDF |
a priori decision scheme, automatic mobile sports highlight, sports video highlight, live game, mobile videophone, GPRS network, audio-visual feature, circular buffer, real-time system, 3G network, real-time analysis, mobile advertising |
| 2 | Hacène Fouchal, Antoine Rollet, Abbas Tarhini |
Robustness of Composed Timed Systems.  |
SOFSEM  |
2005 |
DBLP DOI BibTeX RDF |
Real-Time System, Testing, Robustness, Timed Automata, Component based System |
| 2 | Jean-Christophe Terrillon, Arnaud Pilpré, Yoshinori Niwa, Kazuhiko Yamamoto |
DRUIDE : A Real-Time System for Robust Multiple Face Detection, Tracking and Hand Posture Recognition in Color Video Sequences.  |
ICPR  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Mourad Hakem, Franck Butelle |
A New On-Line Scheduling Algorithm for Distributed Real-Time System.  |
ISSADS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Scott A. Banachowski, Timothy Bisson, Scott A. Brandt |
Integrating Best-Effort Scheduling into a Real-Time System.  |
RTSS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Hans-Gerhard Groß, Nikolas Mayer |
Search-based Execution-Time Verification in Object-Oriented and Component-Based Real-Time System Development.  |
WORDS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Kazuo Kera, Keisuke Bekki, Hideki Osumi, Kinji Mori |
Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System.  |
ISADS  |
2003 |
DBLP DOI BibTeX RDF |
System construction way, Autonomous decentralized system, High assurance system |
| 2 | Ehud Rivlin, Michael Rudzsky, Roman Goldenberg, U. Bogomolov, S. Lepchev |
A Real-Time System for Classification of Moving Objects.  |
ICPR  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas Nolte, Kwei-Jay Lin |
Distributed Real-Time System Design using CBS-based End-to-end Scheduling.  |
ICPADS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Guillem Bernat, Antoine Colin, Stefan M. Petters |
WCET Analysis of Probabilistic Hard Real-Time System. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
2002 |
DBLP DOI BibTeX RDF |
worst case execution time, probabilistic analysis, hard real-time, execution profiles |
| 2 | Saehwa Kim, Seongsoo Hong, Tae-Hyung Kim |
Perfecting preemption threshold scheduling for object-oriented real-time system design: from the perspective of real-time synchronization.  |
LCTES-SCOPES  |
2002 |
DBLP DOI BibTeX RDF |
object-oriented real-time system design, preemption threshold scheduling, priority inheritance protocols, real-time synchronization, priority ceiling protocol |
| 2 | Huiqun Yu, Xudong He, Yi Deng, Lian Mo |
Formal Analysis of Real-Time Systems with SAM.  |
ICFEM  |
2002 |
DBLP DOI BibTeX RDF |
model, Real-time system, Petri net, temporal logic, analysis, SAM |
| 2 | Ludovic Apvrille, Pierre de Saqui-Sannes, Christophe Lohr, Patrick Sénac, Jean-Pierre Courtiat |
A New UML Profile for Real-Time System Formal Design and Validation.  |
UML  |
2001 |
DBLP DOI BibTeX RDF |
|
| 2 | Steven E. Butner, Moji Ghodoussi |
A Real-Time System for Tele-Surgery.  |
ICDCS  |
2001 |
DBLP DOI BibTeX RDF |
tele-surgery, Robotics, tele-operation |
| 2 | Minsoo Ryu, Jungkeun Park, Seongsoo Hong |
Timing Constraint Remapping to Achieve Time Equi-Continuity in Distributed Real-Time Systems.  |
IEEE Trans. Computers  |
2001 |
DBLP DOI BibTeX RDF |
timing constraint transformation, real-time scheduling, clock synchronization, Distributed real-time system |
| 2 | Robert L. Nord |
Meeting the Product Line Goals for an Embedded Real-Time System.  |
IW-SAPF  |
2000 |
DBLP DOI BibTeX RDF |
Software engineering, software architecture, product line, multiple views, industrial applications, design decisions, global analysis |
| 2 | Pascal Chevochot, Isabelle Puaut |
Holistic schedulability analysis of a fault-tolerant real-time distributed run-time support.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
holistic schedulability analysis, fault-tolerant real time distributed run-time support, application tasks, distributed dependable hard real time applications, tick scheduler, unreliable communication protocol, multiple tasks, real-time systems, fault tolerant computing, processor scheduling, schedulability analysis, multiprogramming, hard real time system, run-time support, run-time supports, fault tolerance capabilities, temporal behavior, real time kernel, feasibility test |
| 2 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
| 2 | Joël Goossens, Sanjoy K. Baruah |
Multiprocessor algorithms for uniprocessor feasibility analysis.  |
RTCSA  |
2000 |
DBLP DOI BibTeX RDF |
multiprocessor algorithms, uniprocessor feasibility analysis, uniprocessor real-time systems, asynchronous periodic tasks, preemptive earliest deadline first scheduling, scheduling, real-time systems, parallel algorithms, parallel algorithm, multiprocessing systems, parallel machines, parallel machines, task models, scheduling algorithms, deadlines, hard real-time system |
| 2 | Minsoo Ryu, Seongsoo Hong |
A Period Assignment Algorithm for Real-Time System Design.  |
TACAS  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaoshan Li |
Specification and Simulation of a Concurrent Real-Time System. (PDF / PS)  |
PDSE  |
1999 |
DBLP DOI BibTeX RDF |
Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic |
| 2 | Wu-chun Feng |
The Design of an Open Real-Time System Using CORBA. (PDF / PS)  |
ICPP Workshops  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Aleksandar M. Bakic, Matt W. Mutka |
A Compiler-Based Approach to Design and Engineering of Complex Real-Time Systems.  |
ICDCS  |
1999 |
DBLP DOI BibTeX RDF |
Distributed Real-Time System Design, Adaptive Computing Systems, Constraint Logic Programming |
| 2 | Ben Kao, Hector Garcia-Molina |
Deadline Assignment in a Distributed Soft Real-Time System.  |
IEEE Trans. Parallel Distrib. Syst.  |
1997 |
DBLP DOI BibTeX RDF |
deadline assignment, scheduling, distributed systems, Soft real-time |
| 2 | Peter Altenbernd |
CHaRy: the C-LAB hard real-time system to support mechatronical design.  |
ECBS  |
1997 |
DBLP DOI BibTeX RDF |
CHaRy software system, C-LAB hard real-time system, mechatronical design support, periodic controller application synthesis, hard real-time conditions, software tasks, parallel embedded computers, sub-problem partitioning, controller model mapping, computation time extraction, processor network, schedulability, complexity, heuristics, timing analysis, allocation, mechatronics, computer based system engineering |
| 2 | Ben Abbott, Monica Joshi |
Tools for model-based real-time system synthesis.  |
ECBS  |
1997 |
DBLP DOI BibTeX RDF |
model-based real-time system synthesis, application examples, formal specification, software tools, software tools, system development |
| 2 | Guillem Bernat, José Miró-Julià, Julian Proenza |
A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System.  |
HASE  |
1997 |
DBLP DOI BibTeX RDF |
|
| 2 | Tony Jebara, Alex Pentland |
Parametrized structure from motion for 3D adaptive feedback tracking of faces.  |
CVPR  |
1997 |
DBLP DOI BibTeX RDF |
parametrized structure, 3D adaptive feedback tracking, skin classification, symmetry operations, correlation-based tracking, facial pose, adaptively weighted estimation, facial structure, eigen-heads, Kalman filtering closed loop system, real-time system, face recognition, faces, eigenfaces, extended Kalman filter, feature tracking, camera geometry, 3D warping |
| 2 | D. Essame, Jean Arlat, David Powell |
Available fail-safe systems.  |
FTDCS  |
1997 |
DBLP DOI BibTeX RDF |
available fail-safe systems, life critical systems, railway applications, duplex computers, safety constraints, safety degradation, redundancy management mechanisms, fault tolerant computing, redundancy, distributed real-time system, system availability |
| 2 | Chih-wen Hsueh, Kwei-Jay Lin |
Schedulability comparisons among periodic and distance-constrained real-time schedulers.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
schedulability comparisons, distance-constrained real-time schedulers, pinwheel schedulers, transformed harmonic distance constraints, real-time systems, real-time system, timing constraints |
| 2 | Yoshinori Yamaguchi, Kenji Toda, Kenji Nishida, Eiichi Takahashi |
CODA-R: a reconfigurable testbed for real-time parallel computation.  |
RTCSA  |
1997 |
DBLP DOI BibTeX RDF |
CODA-R, reconfigurable testbed, real-time parallel computation, reconfigurable field programmable gate arrays, total execution time, prototype reconfigurable real-time parallel system, real-time parallel architecture, field programmable gate arrays, real-time system, processing elements, computing engine |
| 2 | Guillem Bernat, Alan Burns |
Combining (/sub m//sup n/)-hard deadlines and dual priority scheduling. (PDF / PS)  |
IEEE Real-Time Systems Symposium  |
1997 |
DBLP DOI BibTeX RDF |
(/sub m//sup n/)-hard deadlines, dual priority scheduling, soft tasks, dual priority mechanism, dynamic priority, real-time system, processor scheduling, temporal constraint, fixed priority scheduling, average response time |
| 2 | Byung Kwon Ahn, Seung-Min Yang, Joong-Sup Choi, Moon-hae Kim |
Real-Time System Design Tools for RTO.e (Real-Time Object.extended).  |
APSEC  |
1996 |
DBLP DOI BibTeX RDF |
real-time system development process, real-time object model, schedulability, timing constraint |
| 2 | Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes |
A Formal Design and Implementation Method for Real-Time Embedded Systems.  |
EUROMICRO  |
1996 |
DBLP DOI BibTeX RDF |
real-time system development, AORTA, development life cycle, real-time systems, real-time systems, verification, real-time embedded systems, formal designs |
| 2 | Cai-Dong Wang, Hiroaki Takada, Ken Sakamura |
Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems.  |
ISPAN  |
1996 |
DBLP DOI BibTeX RDF |
spin lock algorithm, nested locks, real-time system, shared-memory, priority inheritance, priority order |
| 2 | Marty Humphrey, John A. Stankovic |
CAISARTS: a tool for real-time scheduling assistance. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1996 |
DBLP DOI BibTeX RDF |
real-time scheduling assistance, CAISARTS, real-time application designers, task granularity, scheduling paradigm, code templates, ambiguous knowledge, distributed real-time system scenario, end-to-end constraints, real-time systems, operating systems, software tools, knowledge engineering, processor scheduling, task allocation, rule-based system, intelligent design assistants |
| 2 | Jeffrey J. P. Tsai, Steve Jennhwa Yang, Yao-Hsiung Chang |
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications.  |
IEEE Trans. Software Eng.  |
1995 |
DBLP DOI BibTeX RDF |
real-time systems, Petri nets, synthesis, timing analysis, Timing constraints, time Petri nets, timed Petri nets, specification and verification |
| 2 | Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, Alexander D. Stoyenko |
Using speculative execution for fault tolerance in a real-time system.  |
ICECCS  |
1995 |
DBLP DOI BibTeX RDF |
primary-backup approach, timeliness properties, fault tolerance, real-time systems, real-time system, compiler, fault tolerant computing, program compilers, simulation results, speculative execution |
| 2 | Douglas Niehaus, John A. Stankovic, Krithi Ramamritham |
A real-time system description language. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1995 |
DBLP DOI BibTeX RDF |
real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing |
| 2 | Carl I. Birkinshaw, Peter R. Croll |
Modelling the client-server behaviour of parallel real-time systems using Petri nets.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
client-server behaviour modelling, parallel real-time systems, communication behaviour, potential livelock, client-server behaviour graph, real-time systems, computational complexity, parallel programming, Petri nets, Petri nets, parallel machines, deadlock, client-server systems, hard real-time system, timeliness, communication structure, state explosion problem |
| 2 | Sargur N. Srihari, Yong-Chul Shin, Vemulapati Ramanaprasad, Dar-Shyang Lee |
Name and Address Block Reader system for tax form processing. (PDF / PS)  |
ICDAR  |
1995 |
DBLP DOI BibTeX RDF |
tax preparation, Name and Address Block Reader system, tax form processing, automated forms processing, integrated real time system, Internal Revenue Service, NABR system, hand printed address block images, machine printed addresses, address block extraction, label detection, hand print/machine print discrimination, address parsing, postal database lookup, loosely coupled multiprocessing architecture, real-time systems, feature extraction, character recognition, character recognition, multiprocessing systems, handwriting recognition, document image processing, document analysis, word recognition, government data processing, financial data processing, application software, document recognition, United States, connected component analysis |
| 2 | P. Blysa |
SDT a tool for complex real-time systems.  |
ICECCS  |
1995 |
DBLP DOI BibTeX RDF |
SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor |
| 2 | Tony Savor, Rudolph E. Seviora |
Improving the efficiency of supervision by software through state aggregation. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1995 |
DBLP DOI BibTeX RDF |
private telephone exchanges, supervisory software, software supervision, real time failure detection, real time system monitoring, running time complexity, specification processes, software supervisor, ITU Specification and Description Language, small private branch telephone exchange, SDL processes, telecom switching software, real-time systems, computational complexity, formal specification, fault diagnosis, telecommunication computing, state transitions, telecommunication control, computerised monitoring, inputs queues, state aggregation |
| 2 | Stanley A. Schneider, Vincent W. Chen, Gerardo Pardo-Castellote |
ControlShell: component-based real-time programming. (PDF / PS)  |
IEEE Real Time Technology and Applications Symposium  |
1995 |
DBLP DOI BibTeX RDF |
component-based real-time programming, ControlShell, real-time system software development, graphical system-building tools, execution-time configuration manager, real-time matrix package, object name service, on-line reconfiguration, strategic control, functional object hierarchies, code sharing, object interconnectivity, configuration control system, operating mode changing, real-time systems, data structures, object-oriented programming, computer graphics, software tools, programming environments, inheritance, complex systems, software reusability, configuration management, integrated development environment, file organisation, large-scale systems, code reuse, data flow computing, naming services, command and control systems |
| 2 | Carlos Juiz, Ramón Puigjaner |
Improved performance model of a real-time software element: the producer-consumer.  |
RTCSA  |
1995 |
DBLP DOI BibTeX RDF |
real-time software element, producer-consumer, decomposition-aggregation approximate model, real-time components, performance evaluation, software engineering, real-time systems, real-time systems, real-time system, debugging, performance model, performance models, queueing theory, program debugging, running times, queueing network modelling, FIFO queue |
| 2 | Hiroaki Takada, Ken Sakamura |
Real-time scalability of nested spin locks.  |
RTCSA  |
1995 |
DBLP DOI BibTeX RDF |
real-time scalability, nested spin locks, interprocessor synchronizations, maximum execution times, maximum nesting level, performance evaluation, real-time systems, real-time system, performance measurements, synchronisation, shared-memory multiprocessor, shared memory systems, worst-case performance |
| 2 | Hiroshi Tezuka, Tatsuo Nakajima |
Experiences with building a continuous media application on Real-Time Mach.  |
RTCSA  |
1995 |
DBLP DOI BibTeX RDF |
continuous media application, Real-Time Mach, media control techniques, inter-stream synchronization schemes, timesharing operating systems, distributed video player, QtPlay, real-time systems, real-time system, operating systems (computers), jitter control |
| 2 | Carlos Almeida, Bradford B. Glade, Keith Marzullo, Robbert van Renesse |
High availability in a real-time system.  |
ACM SIGOPS European Workshop  |
1992 |
DBLP DOI BibTeX RDF |
|
| 2 | Mathai Joseph |
Problems, Promises and Performance: Some Questions for Real-time System Specification.  |
REX Workshop  |
1991 |
DBLP DOI BibTeX RDF |
synchronous real-time, asynchronous real-time, fault-tolerance, real-time specification |
| 2 | John A. Stankovic |
Decentralized Decision Making for Task Reallocation in a Hard Real-Time System.  |
IEEE Trans. Computers  |
1989 |
DBLP DOI BibTeX RDF |
decentralised decision-making, task reallocation, simulation, scheduling, distributed system, real-time systems, performance analysis, distributed processing, deadlines, hard real-time system |
| 2 | Stephen P. Hufnagel, James C. Browne |
Performance Properties of Vertically Partitioned Object-Oriented Systems.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
object-oriented system design, object-oriented system implementation, vertically partitioned structure, application-independent overheads, conventionally organized systems, layered structures, extended type managers, object semantics, state management functions, object type, type manager boundaries, recovery points, distributed real-time system application, performance evaluation, performance evaluation, software engineering, object-oriented programming, atomicity, object-oriented systems, performance improvement, design concepts, vertical partitioning |
| 1 | Chi-Yuan Chen, Yao-Hsin Chou, Han-Chieh Chao |
Distributed quantum entanglement sharing model for high-performance real-time system.  |
Soft Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Iván Contreras, Yiyi Jiang, José Ignacio Hidalgo, Laura Núñez-Letamendia |
Using a GPU-CPU architecture to speed up a GA-based real-time system for trading the stock market.  |
Soft Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Adami, Christian Callegari, Stefano Giordano, Michele Pagano, Teresa Pepe |
Skype-Hunter: A real-time system for the detection and classification of Skype traffic.  |
Int. J. Communication Systems  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jack Whitham, Neil C. Audsley |
Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-Time System.  |
IEEE Real-Time and Embedded Technology and Applications Symposium  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagbeer Singh |
An Algorithm to Reduce the Time Complexity of Earliest Deadline First Scheduling Algorithm in Real-Time System  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hairong Qi, Xiaorui Wang, Leon M. Tolbert, Fangxing Li, Fang Z. Peng, Peng Ning, Massoud Amin |
A Resilient Real-Time System Design for a Secure and Reconfigurable Power Grid.  |
IEEE Trans. Smart Grid  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Sun, Nan Cen, Dongfeng Yuan |
Implementation of a 2x2 MIMO-OFDM Real-Time System on DSP/FPGA Platform.  |
CMC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle |
A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.  |
ICFEM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yufeng Wu |
Research of Embedded Real-Time System Security Level Assessment Techniques.  |
CSEE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingjing Ma |
Analysis of Embedded Real-Time System Security.  |
CSEE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | U. ManChon, Chiahsun Ho, Shelby Funk, Khaled Rasheed |
GART: A genetic algorithm based real-time system scheduler.  |
IEEE Congress on Evolutionary Computation  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Witt, Björn Annighöfer, Ole Falkenberg, Uwe Weltin |
Design of a High Performance Quad-Rotor Robot Based on a Layered Real-Time System Architecture.  |
ICIRA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Peng, Seung In Park, Yong Cao, Jie Tian |
A Real-Time System for Crowd Rendering: Parallel LOD and Texture-Preserving Approach on GPU.  |
MIG  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Qiu, Li-Chen Zhang |
Application of Model Driven Architecture to Development Real-Time System Based on Aspect-Oriented.  |
ICICA (LNCS)  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Kunifuji, Hiroshi Ito, Yoshinori Saiki, Kinji Mori |
A Proposal of Autonomous Online Expansion Technology for Real-Time System and Its Application to Railway Signalling System.  |
ISADS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liang Fang, Zhidong Cao |
An Online Real-Time System to Detect Risk for Infectious Diseases and Provide Early Alert.  |
PAISI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayumi Ueda, Takuya Funatomi, Atsushi Hashimoto, Takahiro Watanabe, Michihiko Minoh |
Developing a Real-Time System for Measuring the Consumption of Seasoning.  |
ISM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun-Hsien Lu, Hsiao-Win Liao, Pao-Ann Hsiung |
Multi-objective placement of reconfigurable hardware tasks in real-time system.  |
IJES  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Vaidehi, T. R. Gopalakrishnan Nair |
A Multicore Processor based Real-Time System for Automobile management application  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 998 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|