We introduce a generic architecture that is sufficiently general to treat a wide variety of rendering strategies. The architecture is particularized according to common features of energy distribution techniques. The ...
详细信息
We introduce a generic architecture that is sufficiently general to treat a wide variety of rendering strategies. The architecture is particularized according to common features of energy distribution techniques. The survey of energy distribution techniques and the principles used by various illumination algorithms are discussed in the context of possible solutions in an object-oriented generic rendering architecture.
Flocking style behavior is commonplace in nature. It provides a number of benefits for groups of creatures on the move at little cost. Unmanned air vehicles are becoming increasingly popular for a variety of applicati...
详细信息
Flocking style behavior is commonplace in nature. It provides a number of benefits for groups of creatures on the move at little cost. Unmanned air vehicles are becoming increasingly popular for a variety of applications and are often used in groups. Manually controlling many UAVs at high densities can be difficult. The simple, efficient and safe nature of flocking as an automated flight control method, potentially make it an ideal solution for maneuvering groups of UAVs. The paper investigates the implementation of a real-time graphical simulation of flocking UAVs. Of particular interest is simulating simplified realistic aircraft dynamics in real-time and allowing flocking rule parameters and weightings to be interactively adjusted in order to investigate the effects they have on flocking behavior. The paper describes work carried out for an MSc. research project, which is now being utilized for the authors Ph.D research.
From the Publisher: In Dark Fiber, Lovink combines aesthetic and ethical concerns and issues of navigation and usability without ever losing sight of the cultural and economic agendas of those who control hardware, so...
详细信息
ISBN:
(纸本)9780262122498
From the Publisher: In Dark Fiber, Lovink combines aesthetic and ethical concerns and issues of navigation and usability without ever losing sight of the cultural and economic agendas of those who control hardware, software, content, design, and delivery. He examines the unwarranted faith of the cyber-libertarians in the ability of market forces to create a decentralized, accessible communication system. He studies the inner dynamics of hackers' groups, Internet activists, and artists, seeking to understand the social laws of online life. Finally, he calls for the injection of political and economic competence into the community of freedom-loving cyber-citizens, to wrest the Internet from corporate and state control.
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover...
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
Co-development of hardware and software is a methodology dealing with the increased design complexity of embedded systems. Retargetable code generation is a co-designing method to map a high-level software description...
详细信息
Co-development of hardware and software is a methodology dealing with the increased design complexity of embedded systems. Retargetable code generation is a co-designing method to map a high-level software description onto a variety of hardware architectures without the need to rewrite a compiler. Highly efficient code generation is required to meet, for example, timing, area and low-power constraints. The traditional ordering of code generation phases introduces inefficiencies in the code generation process; phase-coupling deals with these inefficiencies. We introduce a new code generation technique based on simulated annealing. This technique focuses especially on highly irregular DSP architectures and is part of a generic framework for retargetable code generation. This approach is new because it fully tackles the phase-coupling problem. Furthermore, this approach shows that the modeling of the software algorithm and the hardware architecture plays a key role in the efficiency of code generation.
We present the refined architecture of the CPLD (complex programmable logic device) macrocell. For the one-hot-encoded Moore finite state machine (FSM), the proposed architecture allows to decrease by N (where N is th...
详细信息
We present the refined architecture of the CPLD (complex programmable logic device) macrocell. For the one-hot-encoded Moore finite state machine (FSM), the proposed architecture allows to decrease by N (where N is the number of the FSM output functions) the number of CPLD macrocells utilized for implementation of the FSM memory. In this paper, we also present the algorithm for synthesis of the one-hot-encoded Moore FSM targeted toward implementation in the proposed CPLD macrocell architecture. We present results of industrial examples of Moore FSMs, which prove the efficacy of our architecture and the algorithm for FSM synthesis. Implementation of Moore FSM in a CPLD with the proposed macrocell architecture allows to reduce the number of utilized buried CPLD macrocells by 67% on average. Similarly, the decrease of the total number of CPLD macrocells amounts to 33% on average.
Recent advances in fabrication technology have pushed the digital designers perspective towards higher levels of abstraction. While a lot of research work has been reported to support this demand, the development of a...
详细信息
Recent advances in fabrication technology have pushed the digital designers perspective towards higher levels of abstraction. While a lot of research work has been reported to support this demand, the development of automated high-level synthesis environments is still an experimental field. Previous work has shown that attribute grammars, used in traditional compiler construction, can also be effectively adopted to describe in a formal and uniform way scheduling heuristics, their main advantages being modularity and declarative notation. In this paper, a more abstract form of attribute grammars, relational attribute grammars, are further applied for the construction of a formal proof methodology, to verify the correctness of scheduling transformations in the same uniform environment. The overall hardware design methodology proposed, supports provable correct transformations and gives a novel idea for combining high-level synthesis with a mathematical framework.
In testing hypermedia systems, testers need to check the hyperlink structure and the temporal relation among the multimedia items for correct behavior. They need to be alerted and note the occurrence of different even...
详细信息
In testing hypermedia systems, testers need to check the hyperlink structure and the temporal relation among the multimedia items for correct behavior. They need to be alerted and note the occurrence of different events. Some kind of automated help during test execution would greatly improve the efficiency and accuracy of the checking. The paper first describes an alternative representation of temporal relations using timing events. We then propose a new test completion criteria, hyperlink coverage, for testing hypermedia systems. Two graphical representations of the link coverage are introduced. The THtester tool is then presented. This tool can notify the tester when certain multimedia item is about to start or end during test execution. This would enhance the checking of the temporal relations of the multimedia items. Another key function of the tool keeps track of the hyperlinks exercised during testing. This provides a coverage measurement and assists in monitoring the progress of testing. The tool also automatically checks the validity of the hyperlinks.
暂无评论