In this paper, we propose an un-timed C/C++ level verification methodology that integrates key technologies for truly high-level VLSI modelling to keep pace with the explosive complexity of SoC designs in the 3G and beyond wireless communications. A Catapult C/C++ based architecture scheduler transfers the major workload to the algorithmic C/C++ fixed-point design. Case study is given to explor...

Rapid prototyping of highly parallel applications on manycore platforms is extremely challenging. This paper presents an automated analysis and code generation flow for implementing high-level KPN models on STHORM, an embedded 64-core computing fabric developed by STMicroelectronics. The flow is model-based with sound semantical basis and enables formal verification and performance analysis at ...

A new probabilistic-logic formalism, called CHRiSM, is introduced. CHRiSM is based on a combination of CHR and PRISM. It can be used for high-level rapid prototyping of complex statistical models by means of chance rules. The underlying PRISM system can then be used for several probabilistic inference tasks, including parameter learning. We describe a source-to-source transformation from CHRiSM...

In recent years, the life cycle of industrial products becomes shorter and shorter; the diversity and complexity of functionality are continuously increasing. Thus, conventional methods and techniques of industrial controller design can no longer satisfy the actual demands like smartness, miniaturization, short time-to-market, etc. This paper is devoted to elaborate a methodology for hybrid con...

Interactive tabletops are gaining an increasing interest since they provide a more natural interaction with digital contents and allow the interaction of multiple users at a time promoting face-to-face collaboration, information sharing and the raise of social experiences. Given the potentialities offered by these devices, several entertainment-edutainment applications based on interactive tabl...

In large-scale wireless networks such as mobile ad hoc and sensor networks, efficient and robust service discovery and data-access mechanisms are both essential and challenging. Rendezvous-based mechanisms provide a valuable solution for provisioning a wide range of services. In this paper, we describe Rendezvous Regions (RRs) a novel scalable rendezvous-based architecture for wireless networks...

dissolution pressure and nozzle temperature effects on particle size and distribution were investigated for ress (rapid expansion of supercritical solution) process. supercritical co2 was used as solvent and ibuprofen was applied as the model component in all runs. the resulting ibuprofen nano-particles (about 50 nm in optimized runs) were analyzed by sem and laser diffraction particle size ana...

abrin known as ribosome inactivating protein’s (rip) it is a high cytotoxic plant protein. high lethality and low cost and easy access to plant and seeds lead to this toxin used in crimes and terrorist acts. because obtaining purified toxins requires advanced laboratory equipment and complex procedures, so, it appears that the perpetrators of such crimes use crude extracts. as a result, remaini...

We present the agent programming language GTGolog, which integrates explicit agent programming in Golog with game-theoretic multi-agent planning in Markov games. It is a generalization of DTGolog to a multi-agent setting, where we have two competing single agents or two competing teams of agents. The language allows for specifying a control program for a single agent or a team of agents in a hi...

Portable sensors and biomedical devices are influenced by the recent advances in microfluidics technologies, compact fabrication techniques, improved detection limits and enhanced analysis capabilities. This paper reports the development of an integrated ultraportable, low-cost, and modular digital microfluidic (DMF) system and its successful integration with a smartphone used as a high-level c...