Sciweavers

HICSS
1995
IEEE
98views Biometrics» more  HICSS 1995»
15 years 8 months ago
Fault-tolerant graphs for hypercubes and tori
Toshinori Yamada, Koji Yamamoto, Shuichi Ueno
HICSS
1995
IEEE
128views Biometrics» more  HICSS 1995»
15 years 8 months ago
Instruction Level Parallelism
Abstract. We reexamine the limits of parallelism available in programs, using runtime reconstruction of program data-flow graphs. While limits of parallelism have been examined in...
HICSS
1995
IEEE
101views Biometrics» more  HICSS 1995»
15 years 8 months ago
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
To ease the implementation of distributed objectoriented systems we developed the PDC technique (Proxy/ Dispatcher/Collocutor technique), a simple and pragmatic approach to allow ...
Rainer Weinreich, Reinhold Plösch
ICSE
1997
IEEE-ACM
15 years 8 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...