Sciweavers

5981 search results - page 852 / 1197
» time 2006
Sort
View
CCECE
2006
IEEE
16 years 25 days ago
Lazy Generation of Building Interiors in Realtime
Impenetrable doors are often quite common in virtual worlds. This is especially apparent in video games boasting large urban environments. Although there are often enterable build...
Evan Hahn, Prosenjit Bose, Anthony Whitehead
CIBCB
2006
IEEE
16 years 25 days ago
E2D: A Novel Tool for Annotating Protein Domains in Expressed Sequence Tags
The vast number of expressed sequence tags (ESTs) in public databases provides an important resource for comparative and functional genomics. A variety of methods based on homology...
Guo-Hsing Lee, Nai-Yu Chuang, Wen-Dar Lin, Chung-D...
CODES
2006
IEEE
16 years 25 days ago
A formal approach to robustness maximization of complex heterogeneous embedded systems
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
Arne Hamann, Razvan Racu, Rolf Ernst
168
Voted
CODES
2006
IEEE
16 years 25 days ago
Increasing the throughput of an adaptive router in network-on-chip (NoC)
In this paper, we propose a simple and efficient mechanism to increase the throughput of an adaptive router in Networkon-Chip (NoC). One of the most serious disadvantages of fully...
Seung Eun Lee, Nader Bagherzadeh
COMPSAC
2006
IEEE
16 years 25 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...