Sciweavers

2145 search results - page 114 / 429
» Architectural Specifications in CASL
Sort
View
ACSAC
2003
IEEE
14 years 3 months ago
MLS-PCA: A High Assurance Security Architecture for Future Avionics
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
Clark Weissman
WORDS
2002
IEEE
14 years 2 months ago
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...
Erik Yu-Shing Hu, Guillem Bernat, Andy J. Wellings
IPPS
1999
IEEE
14 years 2 months ago
A Distributed System Reference Architecture for Adaptive QoS and Resource Management
This paper deals with large, distributed real-time systems that have execution times and resource utilizations which cannot be characterized a priori. (The motivation for our work ...
Lonnie R. Welch, Michael W. Masters, Leslie A. Mad...
CIKM
1999
Springer
14 years 2 months ago
Architecture of a Metasearch Engine That Supports User Information Needs
When a query is submitted to a metasearch engine, decisions are made with respect to the underlying search engines to be used, what modifications will be made to the query, and ho...
Eric J. Glover, Steve Lawrence, William P. Birming...
IPPS
1998
IEEE
14 years 1 months ago
Partitioned Schedules for Clustered VLIW Architectures
This paper presents results on a new approach to partitioning a modulo-scheduled loop for distributed execution on parallel clusters of functional units organized as a VLIW machin...
Marcio Merino Fernandes, Josep Llosa, Nigel P. Top...