Static partial order reduction and model checking of hardware/software co-design systems

Fuzzy spatial data cube construction and its use in association rule mining Işık, Narin; Yazıcı, Adnan; Department of Computer Engineering (2005) The popularity of spatial databases increases since the amount of the spatial data that need to be handled has increased by the use of digital maps, images from satellites, video cameras, medical equipment, sensor networks, etc. Spatial data are difficult to examine and extract interesting knowledge; hence, applications that assist decision-making about spatial data like weather forecasting, traffic supervision, mobile communication, etc. have been introduced. In this thesis, more natural and precise knowle...
Fuzzy querying im XML databases Üstünkaya, Ekin; Yazıcı, Adnan; Department of Computer Engineering (2004) Real-world information containing subjective opinions and judgments has emerged the need to represent complex and imprecise data in databases. Additionally, the challenge of transferring information between databases whose data storage methods are not compatible has been an important research topic. Extensible Markup Language (XML) has the potential to meet these challenges since it has the ability to represent complex and imprecise data. In this thesis, an XML based fuzzy data representation and querying s...
Automated test code generation and execution system for Web İşler, Süleyman Fatih; Betin Can, Aysu; Department of Information Systems (2015) With the development of Web 2.0, the trend in application development has moved from desktop applications towards to web applications. Although there are different ways of testing web applications such as record/replay systems and manual testing, the common practice of web testing is accomplished by manually implementing test script codes from test cases written in software test documents and then run them on test automation tools. Implementation of test script codes is time-consuming process and also requi...
Semantic processes for constructing composite web services Kardaş, Karani; Karagöz, Pınar; Department of Computer Engineering (2007) In Web service composition, service discovery and combining suitable services through determination of interoperability among different services are important operations. Utilizing semantics improves the quality and facilitates automation of these operations. There are several previous approaches for semantic service discovery and service matching. In this work, we exploit and extend these semantic approaches in order to make Web service composition process more facilitated, less error prone and more automa...
Computational platform for predicting lifetime system reliability profiles for different structure types in a network Akgül, Ferhat (2004-01-01) This paper presents a computational platform for predicting the lifetime system reliability profiles for different structure types located in an existing network. The computational platform has the capability to incorporate time-variant live load and resistance models. Following a review of the theoretical basis, the overall architecture of the computational platform is described. Finally, numerical examples of three existing bridges (i.e., a steel, a prestressed concrete, and a hybrid steel-concrete bridge...

Citation Formats

H. Yenigün, “Static partial order reduction and model checking of hardware/software co-design systems,” Ph.D. - Doctoral Program, Middle East Technical University, 2000.