Sciweavers

3384 search results - page 248 / 677
» More Testable Properties
Sort
View
ISCAS
1999
IEEE
85views Hardware» more  ISCAS 1999»
15 years 11 months ago
Equivalence classes of clone circuits for physical-design benchmarking
To provide a better understanding of physical design algorithms and the underlying circuit architecture they are targeting, we need to exercise the algorithms and architectures wi...
Michael D. Hutton, Jonathan Rose
EMISA
1999
Springer
15 years 11 months ago
Application Experience with a Repository System for Information Systems Development
Abstract. The purpose of a computerized information system is to improve dataintensive business processes in an organization. The development of such systems itself is data-intensi...
Manfred A. Jeusfeld, Matthias Jarke, Martin Staudt...
FCT
1999
Springer
15 years 11 months ago
A General Categorical Connection between Local Event Structures and Local Traces
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
ICDT
1999
ACM
99views Database» more  ICDT 1999»
15 years 11 months ago
Increasing the Expressiveness of Analytical Performance Models for Replicated Databases
The vast number of design options in replicated databases requires efficient analytical performance evaluations so that the considerable overhead of simulations or measurements can...
Matthias Nicola, Matthias Jarke
DL
1998
Springer
119views Digital Library» more  DL 1998»
15 years 10 months ago
Considerations for Information Environments and the NaviQue Workspace
This paper presents design considerations for the construction of advanced information environments, and a prototype interface that attempts to respond to them. The design conside...
George W. Furnas, Samuel J. Rauch