Sciweavers

7773 search results - page 1247 / 1555
» On generalized Frame-Stewart numbers
Sort
View
LICS
1996
IEEE
15 years 11 months ago
The Essence of Parallel Algol
We consider a parallel Algol-like language, combining procedures with shared-variable parallelism. Procedures permit encapsulation of common parallel programming idioms. Local var...
Stephen D. Brookes
VTS
1996
IEEE
112views Hardware» more  VTS 1996»
15 years 11 months ago
Optimal voltage testing for physically-based faults
In this paper we investigate optimal voltage testing approaches for physically-based faults in CMOS circuits. We describe the general nature of the problem and then focus on two f...
Yuyun Liao, D. M. H. Walker
HPCN
1997
Springer
15 years 11 months ago
The 3D Object Mediator: Handling 3D Models on Internet
The 3D Object MEdiator (3DOME 3 ) offers two services for handling 3D models: a modelshop and a renderfarm. These services can be consulted through the Internet. The modelshop mee...
Arjan J. F. Kok, Joost van Lawick van Pabst, Hamid...
ICFEM
1997
Springer
15 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
FOCS
1993
IEEE
15 years 11 months ago
Throughput-Competitive On-Line Routing
We develop a framework that allows us to address the issues of admission control and routing in high-speed networks under the restriction that once a call is admitted and routed, ...
Baruch Awerbuch, Yossi Azar, Serge A. Plotkin
« Prev « First page 1247 / 1555 Last » Next »