Sciweavers

ICECCS
1995
IEEE
108views Hardware» more  ICECCS 1995»
14 years 5 days 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»
14 years 5 days 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»
14 years 5 days 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»
14 years 5 days 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»
14 years 5 days 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»
14 years 5 days 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»
14 years 5 days 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»
14 years 5 days ago
Dynamic task migration from SIMD to SPMD virtual machines
James B. Armstrong, Howard Jay Siegel
ITC
1997
IEEE
119views Hardware» more  ITC 1997»
14 years 5 days ago
Testability Analysis and ATPG on Behavioral RT-Level VHDL
This paper proposes an environment to address Testability Analysis and Test Pattern Generation on VHDL descriptions at the RT-level. The proposed approach, based on a suitable fau...
Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda
ISSS
1997
IEEE
128views Hardware» more  ISSS 1997»
14 years 5 days ago
Architectural Exploration and Optimization of Local Memory in Embedded Systems
Embedded processor-based systems allow for the tailoring of the on-chip memory architecture based on application-specific requirements. We present an analytical strategy for explo...
Preeti Ranjan Panda, Nikil D. Dutt, Alexandru Nico...