Sciweavers

2593 search results - page 403 / 519
» On Two Problems of Nano-PLA Design
Sort
View
DSL
1997
15 years 7 months ago
Experience with a Language for Writing Coherence Protocols
In this paper we describe our experience with Teapot [7], a domain-specific language for writing cache coherence protocols. Cache coherence is of concern when parallel and distrib...
Satish Chandra, James R. Larus, Michael Dahlin, Br...
WSC
2000
15 years 7 months ago
An integrated object model for activity network based simulation
This paper describes an object-orientated simulation approach towards an integrated planning of production systems. The main obstacle for an integrated use of simulation over diff...
Gert Zülch, Jörg Fischer, Uwe Jonsson
IJCAI
1993
15 years 7 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
IJCAI
1989
15 years 7 months ago
Reasoning about Kinematic Topology
t ion which is much more abstract than a place vocabulary, the kinematic topology. Kinematic topology does not define qualitative inference rules, but provides a characterization o...
Boi Faltings, Emmanuel Baechler, J. Primus
WCE
2007
15 years 7 months ago
Experimental Study on Lightning Characteristics of Electronic Equipment's Power Supply
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
Chai Yajing, Zhou Wenjun, He Ruidong, Zhao Luxing