Reconfigurable computing is maturing rapidly as FPGAs combining hard core processors and high density logic block arrays become widely available at low cost Application developers have been developing algorithms that ...
详细信息
ISBN:
(纸本)9780780397286
Reconfigurable computing is maturing rapidly as FPGAs combining hard core processors and high density logic block arrays become widely available at low cost Application developers have been developing algorithms that cross the hardware software divide for some years but will in addition want to express the dynamic reconfiguration of FPGAs made available via an operating system for reconfigurable computing. Whilst there are many behavioural languages available or expressing reconfigurable computing applications very few of them are comprehensive enough to address simultaneously these two requirements. In this paper we present an experimental language based on Java which aims to achieve the twin goals of a transparent hardware software interface and an integrated expression of dynamic reconfiguration. Hardware Join Java (HJJ) uses a common threading abstraction and synchronization based on the Join calculus to unify the semantics and interface between hardware and software. the language extends the dynamic class instantiation mechanism of Java (supported by the services of an operating system for reconfigurable computing) to express user initiated dynamic reconfiguration of the FPGA. In this paper we present basic syntax and semantics of HJJ and give our initial experience withthe prototype compiler.
We present a spreadsheet approach to simplifying the process of managing, programming, and interacting with sensor networks and visualizing, archiving and retrieving sensor data. An excel spreadsheet prototype has bee...
详细信息
We present a spreadsheet approach to simplifying the process of managing, programming, and interacting with sensor networks and visualizing, archiving and retrieving sensor data. An excel spreadsheet prototype has been built to demonstrate the idea. this environment provides excel users, who are already familiar with spreadsheet applications, a convenient and powerful tool for programming and data analysis. We discuss the architecture of this prototype and our experience in implementing the tool. We show two different classes of sensor-net applications built using this platform. We also present performance data on the scalability of the tool with respect to data rate and number of data streams
the degree of correlation between the source codes of different software programs is important for uncovering plagiarism, trade secret theft, copyright infringement, and patent infringement. Other uses include locatin...
详细信息
the degree of correlation between the source codes of different software programs is important for uncovering plagiarism, trade secret theft, copyright infringement, and patent infringement. Other uses include locating open source code within a proprietary program and determining common authorship of different programs. Measurement of source code correlation is an important factor in any punitive determination of rights infringement. Existing measures of source code correlation tend to focus on only one or two types of correlation. this paper presents a theoretical basis for a measure of source code correlation predicated on various uses and requirements. the paper also describes a software tool that uses multiple algorithms to determine this correlation measure. At the conclusion the paper compares the results produced by this tool against results produced by other tools when examining a controlled set of correlated source code files and finds that the new tool is more accurate than other tools in determining all types of source code correlation
Association rules are often utilized in web recommendation systems for creation of suggested items lists. However, lists obtained in this way may be too short. Indirect association rules are introduced to extend class...
详细信息
ISBN:
(纸本)0769522866
Association rules are often utilized in web recommendation systems for creation of suggested items lists. However, lists obtained in this way may be too short. Indirect association rules are introduced to extend classical, direct association rules and supplement the knowledge they contribute. the relation between ranking lists created on the basis of association rules and hyperlinks existing, on web pages has also been examined in the paper.
this paper illustrates the use of Inductive logicprogramming to program agents that learn rules of behaviour from simulated histories of their embedding systems. We have shown how a ILP system can be used to learn ru...
详细信息
ISBN:
(纸本)0889865248
this paper illustrates the use of Inductive logicprogramming to program agents that learn rules of behaviour from simulated histories of their embedding systems. We have shown how a ILP system can be used to learn rules in a representation very close to the one used to guide the simulation of a multi-agent system. this establishes the feasibility of embedding (resource- bounded) learners as agents that take part in simulating a complex system.
the distribution of the genetic programming algorithm improves the efficiency of the search for the solution, but additional parameters of this distribution are undesirable. this paper presents the analysis of early e...
详细信息
In the paper the experimental study of the influence of parameters on the final results of the rule extraction method from neural network for classification problem is described. the method is based on evolutionary ap...
详细信息
ISBN:
(纸本)0769522866
In the paper the experimental study of the influence of parameters on the final results of the rule extraction method from neural network for classification problem is described. the method is based on evolutionary approach, where for each class evolves separate population. the paper starts on the presentation of the basic concepts of the method Next, the results of experiments are described. they examine the influence of genetic parameters. then, the parameters that affect the rule extraction efficiency are tested. All experiments are made with using UCI data sets. At the end, some general conclusion concerning the role of the parameters and their influence on the final results are formulated.
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architectu...
详细信息
ISBN:
(纸本)0387238514
this paper describes a system named "Glue logic", which is a infrastructural system designed for factory automation control system, and a sample implementation of a layer structured control system architecture, which is named "Scalable Intelligent Control Architecture" reported in the DIISM2000. the "Glue logic" supports the real-time controlling and monitoring system, by means of realizing communication and synchronizing among multiple agents. Using the active database technique, this system includes event notification message sending and condition monitoring features to eliminate data polling. this system also supports efficient programming environment, by increasing modularity and reusability of the software assets. Using the Glue logic, we are now designing a real-time data gathering system in practical manufacturing lines according to the Scalable Intelligent Control Architecture, which permits expansion of control systems not only in spatial dimension but also in intelligence.
this paper motivates and presents a nonmonotonic version of Contextual Intensional logic, a type-theoretic logic intended as a general formalism for reasoning about context. In developing this logic, it is necessary t...
详细信息
the proceedings contain 7 papers from the conference on Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, A...
详细信息
the proceedings contain 7 papers from the conference on Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Advanced Lectures. the topics discussed include: history-dependent automata: an introduction;mobile distributed programming in X-KLAIM;dealing with node mobility in ad hoc wireless network;performance analysis of mobile systems;a methodology based on formal methods for predicting the impact of dynamic power management;dynamic power management strategies within the IEEE 802.11 standard;network swapping;and hermes: agent-based middleware for mobile computing.
暂无评论