77016 search results - page 14729 / 15404 » Modelling |
205
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Large-scale storage systems often hold data for multiple applications and users. A problem in such systems is isolating applications and users from each other to prevent their wor...
177
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
208
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
209
click to vote
SIPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
218
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
With the rapid evolution of web technology and Internet, the mathematical web has emerged as a new research trend, which changes the traditional manner of mathematical scientific ...