We describe our experiences with using reprogrammable gate arrays in performance-critical digital systems. Our experience indicates that RPGAs are easily integrated into the classroom, but are not yet sufficiently mature to permit comparable integration into a research environment. While reprogrammable gate arrays offer the potential for reduced area and chip count, routing and interconnect iss...

Information systems are facing conflicting requirements. On the one hand, systems need to be adaptive and self-managing to deal with rapidly changing circumstances. On the other hand, legislation such as the Sarbanes-Oxley Act, is putting increasing demands on monitoring activities and processes. As processes and systems become more flexible, both the need for, and the complexity of monitoring ...

OLAP systems operate on historical data and provide answers to analyst’s queries. Philosophy and techniques of what-if analysis on data warehouse and in-memory data store based OLAP systems have been covered in great detail before but exploration of new dimension value (attribute) introduction has been limited in the context of what-if analysis. We extend the approach of Andrey Balmin et al of ...

Product Based Workflow Design (PBWD) is one of the few scientific methodologies for the (re)design of workflow processes. It is based on an analysis of the product that is produced in the workflow process and derives a process model from the product structure. Until now this derivation has been a manual task and is therefore a time-consuming and error-prone exercise. Automatic support would enh...

Data Grids are currently proposed solutions to large scale data management problems including efficient file transfer and replication. Large amounts of data and the world-wide distribution of data stores contribute to the complexity of the data management challenge. Recent architecture proposals and prototypes deal with replication of read-only files but do not address the replica synchronisati...

In this paper we propose and analyze a method for proofs of actual query execution in an outsourced database framework, in which a client outsources its data management needs to a specialized provider. The solution is not limited to simple selection predicate queries but handles arbitrary query types. While this work focuses mainly on read-only, computeintensive (e.g. data-mining) queries, it a...

Methods: This cross-sectional study was performed at Ghaem hospital, Mashhad, Iran; from March 2008 to April 2010 to evaluate newborns’ outcome that were born from mothers with prolonged premature rupture of membranes (PROM> 18 hours). Maternal risk factors, antibiotic administration and its influences on neonatal complications were evaluated. Eligible infants were categorized into group I (sym...

A real-life event log, taken from a Dutch Academic Hospital, is analyzed using process mining techniques. The log contains events related to treatment and diagnosis steps for patients diagnosed with cancer. Given the heterogeneous nature of these cases, we first demonstrate that it is possible to create more homogeneous subsets of cases (e.g. patients having a particular type of cancer that nee...

We present an extension of Separation Logic with a general mechanism for temporarily converting any assertion (or “permission”) to a read-only form. No accounting is required: our read-only permissions can be freely duplicated and discarded. We argue that, in circumstances where mutable data structures are temporarily accessed only for reading, our read-only permissions enable more concise spec...

The ability to accurately model the state of program memory and how it evolves during program execution is critical to many optimization and verification techniques. Current memory analysis techniques either provide very accurate information but run prohibitively slowly or run in an acceptable time but produce very conservative results. This paper presents an analysis method that is capable of ...