2620 search results - page 445 / 524 » Efficient Hardware Voxelization |
187
Voted
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
Embedded systems are usually resource limited in terms of processing power, memory, and power consumption, thus embedded TCP/IP should be designed to make the best use of limited ...
131
click to vote
WISE
2005
Springer
15 years 9 months ago
2005
Springer
OWLIM is a high-performance Storage and Inference Layer (SAIL) for Sesame, which performs OWL DLP reasoning, based on forward-chaining of entilement rules. The reasoning and query ...
125
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
136
Voted
HVC
2005
Springer
15 years 9 months ago
2005
Springer
We present several algorithms for simultaneous SAT (propositional satisfiability) based model checking of safety properties. More precisely, we focus on Bounded Model Checking and ...
150
Voted
ICESS
2005
Springer
15 years 9 months ago
2005
Springer
: This paper presents a simple and efficient switched Ethernet communication protocol for industrial hard real-time LAN applications. The network is founded with end nodes and a sw...