Sciweavers

2205 search results - page 61 / 441
» Mutation Operators for Specifications
Sort
View
DSD
2003
IEEE
108views Hardware» more  DSD 2003»
14 years 2 months ago
Concurrent Operation Scheduling and Unit Allocation with an Evolutionary Technique
This paper presents a method with an evolutionary approach to some of the tasks of integrated-circuit (IC) design. The work is focused on application-specific integrated circuits ...
Gregor Papa, Jurij Silc
VLDB
2001
ACM
138views Database» more  VLDB 2001»
14 years 1 months ago
Operating System Extensions for the Teradata Parallel VLDB
This paper describes the new architecture for supporting the Teradata commercial VLDB on several new operating environments. We start with an overview of the Teradata database sof...
John Catozzi, Sorana Rabinovici
POS
1998
Springer
14 years 1 months ago
Persistent Operating System Support for Persistent CORBA Objects
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
Adrian O'Lenskie, Alan Dearle, David Hulse
WSC
2008
13 years 11 months ago
A systems engineering process supporting the development of operational requirements driven federations
This paper proposes a systems engineering process utilizing the conceptual artifacts of the Model Driven Architecture (MDA) describing platform independent views of models to capt...
Andreas Tolk, Thomas G. Litwin, Robert H. Kewley
IAAI
2001
13 years 10 months ago
Constraint-Based Modeling of InterOperability Problems Using an Object-Oriented Approach
ADIOP is an application for Automated Diagnosis of InterOperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices...
Mohammed H. Sqalli, Eugene C. Freuder