Sciweavers

2205 search results - page 61 / 441
» Mutation Operators for Specifications
Sort
View
125
Voted
DSD
2003
IEEE
108views Hardware» more  DSD 2003»
15 years 7 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»
15 years 6 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
15 years 6 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
112
Voted
WSC
2008
15 years 4 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
120
Voted
IAAI
2001
15 years 3 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