Sciweavers

ICECCS
1995
IEEE
80views Hardware» more  ICECCS 1995»
13 years 8 months ago
Ensuring the satisfaction of a temporal specification at run-time
Grace Tsai, M. Insall, Bruce M. McMillin
ICECCS
1995
IEEE
108views Hardware» more  ICECCS 1995»
13 years 8 months ago
Using speculative execution for fault tolerance in a real-time system
Achieving fault-tolerance using a primary-backup approach involves overhead of recovery such as activating the backup and propagating execution states, which may a ect the timelin...
Mohamed F. Younis, Grace Tsai, Thomas J. Marlowe, ...
ICECCS
1995
IEEE
228views Hardware» more  ICECCS 1995»
13 years 8 months ago
A combined functional and object-oriented approach to software design
Large and complex software systems contain a variety of entities objects and a complex control system transformationfunction. The pure object-orienteddesign and structured des...
Haifeng Qian, Eduardo B. Fernández, Jie Wu
ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
13 years 8 months ago
A performance oriented design methodology for large-scale distributed data intensive information systems
The Earth Observing System (EOS) Data and Information System (EOSDIS) is perhaps one of the most important examples of a large-scale, geographicallydistributed, and data-intensive...
Daniel A. Menascé, Hassan Gomaa, Larry Kers...
ICECCS
1995
IEEE
106views Hardware» more  ICECCS 1995»
13 years 8 months ago
A time-sharing architecture for complex real-time systems
Jair Jehuda, Gilad Koren, Daniel M. Berry
ICECCS
1995
IEEE
94views Hardware» more  ICECCS 1995»
13 years 8 months ago
Requirements for client/server performance modeling
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
Joseph J. Martinka
ICECCS
1995
IEEE
100views Hardware» more  ICECCS 1995»
13 years 8 months ago
POSD-a notation for presenting complex systems of processes
When trying to describe the behaviour of large systems, such as the business processes of large enterprises, we often adopt diagramming techniques based on derivatives of data flo...
Peter Henderson, Graham D. Pratten
ICECCS
1995
IEEE
114views Hardware» more  ICECCS 1995»
13 years 8 months ago
The role of secondary attributes in formal object modelling
When modelling a large and complex system, clarzty of the speczfication becomes an znaportant factor. I n object-oriented specification, the states of individual objects are captu...
Jin Song Dong, Gordon A. Rose, Roger Duke
ICECCS
1995
IEEE
84views Hardware» more  ICECCS 1995»
13 years 8 months ago
Dynamic task migration from SIMD to SPMD virtual machines
James B. Armstrong, Howard Jay Siegel