Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
Semi-formal verification tools are gaining popularity because of their ability to balance the performance of logic simulators with the goal-focused capabilities of formal verification. Within this domain, abstraction-based simulation is a technique that has been proposed in several research works and has also emerged in a few commercial solutions. Abstraction-based simulation performs reachability...
Executable language model driven by data streams is proposed. At the same time, this model is language architecture developed from context-free grammar enriched with communication channels. Four types of formal communication channels and one type of informal communication channel were identified for functional languages, to provide systematic background for human-machine communication. Formal channel...
The development of embedded systems nowadays is strongly supported by simulation in order to reduce development time and improve product quality. However, effects occurring e.g. on the physical level may impact the whole system and cannot be captured by using only high abstracted models. Co-simulation is a possible solution for this problem. It enables the combination of an abstracted, system level...
We compare two approaches for high-level power estimation of DSP components implemented in FPGAs for different sets of data streams from real-world applications. The first model is a power macro-model based on the Hamming distance of input signals. The second model is an analytical high-level power model based on switching activity computation and knowledge about the component's internal structure,...
A number of inherent weaknesses are identified with using addresses to reference values. These weaknesses negatively impact on the development of architectures using addressing. It is proposed that values should be referenced using semantic information retained with the value. A computational model based on simple arithmetic and natural deduction is presented that illustrates how such a referencing...
It is well known that the classical regression analysis, especially parametric regression analysis, is one of the important methods of extracting information from data sets. A family of regression functions, called fuzzy c-regression models (FCRM), has been presented which can be used to characterize the linear relationship to certain types of mixed data. More generally, an effective and robust method,...
Time-series segmentation in the fully unsupervised scenario in which the number of segment-types is a priori unknown is a fundamental problem in many applications. We propose a Bayesian approach to a segmentation model based on the switching linear Gaussian state-space model that enforces a sparse parametrization, such as to use only a small number of a priori available different dynamics to explain...
Regression is an important prediction method to establish models between variables. The primitive regression algorithms ignore the sample weights, and consider all samples play an equal role in regression. But this kind of algorithms often loses efficacy when dealing with outliers, since outliers disturb the regression models greatly. For traditional switching regression, sample membership varies...
The distribution system problems, such as planning, loss minimization, and energy restoration, usually involve the phase balancing or network reconfiguration procedures. The determination of an optimal phase balance is, in general a combinatorial optimization problem. Several Algorithms have been proposed and had achieved good result. However, the running time may be very high or the algorithm can...
The ability to acquire quality equipment and process data is important for future real-time process control systems to maximize opportunities for semiconductor manufacturing yield enhancement and equipment efficiency. Clock synchronization for accurate time-stamping and maintaining a consistent frequency in trace data collection are essential for accurate merging of data from heterogeneous sources...
Smartphones are becoming increasingly complex, and the interactions between the different applications make testing even more difficult given the time-to-market pressures and the limits of current test automation systems. Towards these ends, we have built an open source test model library for Symbian S60 GUI testing. This paper describes and analyzes our experiences in building the library.
Building information modelling (BIM) is only a tool in the procurement of a building, but it is changing the way the whole process is undertaken. Having a single model which is used by all disciplines requires a different management structure and by consequence a restructuring of the resources required to complete a project.These changes are encompassed in Integrated Practice and more recently Integrated...
The paper addresses the problem of creating a comprehensive fault injection environment, which integrates and improves various simulation and supplementary functions. This is illustrated with experimental results.
This paper presents an architecture to support fast prototyping of augmented reality systems, based on virtual reality. The architecture defines simulation services separated from other aspects of the system. These services support incremental evolution of simulated prototypes into nonsimulated systems. Focus is also placed on user interaction,through the definition of an interaction architecture...
Advances in Internet connections speeds and computer hardware means that web content has grown richer and more interactive for users. One such area is Web3D which has seen the emergence of ISO standard technologies such as VRML (Virtual Reality Modeling Language) and its XML-based (eXtensible Markup Language) successor X3D(eXtensible 3D). X3D, in particular, presents opportunities for further integration...
While the CMOS analog circuits can be designed with the minimum-gate-length of the fabrication process in the alpha-power law MOSFET model, the length of a MOSFET gate has been chosen to be a larger scale than the minimum-gate-length in the conventional Shockleypsilas square model. In this paper, we describe a 6-b 100 MSPS CMOS current steering digital-to-analog converter (DAC) with the alpha-power...
Current mode (CM) scheme provides suitable alternative for the high speed on-chip interconnect signaling. This paper presents a energy-delay optimization methodology for the current-mode (CM) signaling scheme. Optimization for the CM circuits for on-chip interconnects requires a joint optimization of driver and receiver device sizes, as their parameters which affect the energy-delay performance depend...
A physical yet analytical phase change memory (PCM) model simultaneously accounting for thermal and electrical conductivities is presented. Due to the physics based nature of the model, the essential temperature from heating and cooling of PCM during operation is instantaneously updated. More importantly, the model can be applied to non-conventional circuit design technique. We show that for the first...
This paper describes a transaction-level simulation model of a multicore, multithreaded architecture and the usage of an application model that generates synthetic single-or multi-threaded execution traces to drive the simulation. The transaction-level model is implemented in SystemC. The parameters for the application model are determined from an analysis of an actual application trace so that the...
Datasets of tens of gigabytes are becoming common in computational and experimental science. Providing remote visualization of these large datasets with adequate levels of quality and interactivity is an extremely challenging task, particularly for scientists who collaborate in widely distributed locations and their primary access to visualization resources is a desktop computer. This paper describes...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.